Exception: Ibex::Fuzz::BudgetExceeded

Inherits:
Error
  • Object
show all
Defined in:
lib/ibex/fuzz.rb,
sig/ibex/fuzz.rbs

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(details) ⇒ BudgetExceeded

Returns a new instance of BudgetExceeded.

RBS:

  • (fuzz_budget details) -> void

Parameters:

  • details (fuzz_budget)


45
46
47
48
# File 'lib/ibex/fuzz.rb', line 45

def initialize(details)
  @details = IR.deep_freeze(details)
  super("(fuzz):1:1: configured budget was exhausted: #{details[:message]}")
end

Instance Attribute Details

#detailsfuzz_budget (readonly)

Signature:

  • fuzz_budget

Returns:

  • (fuzz_budget)


42
43
44
# File 'lib/ibex/fuzz.rb', line 42

def details
  @details
end