Exception: Ibex::Equiv::BudgetExceeded

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

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(details) ⇒ BudgetExceeded

Returns a new instance of BudgetExceeded.

RBS:

  • (Hash[Symbol, Object?] details) -> void

Parameters:

  • details (Hash[Symbol, Object?]) 


37
38
39
40
 
# File 'lib/ibex/equiv.rb', line 37

def initialize(details)
  @details = IR.deep_freeze(details)
  super("(equiv):1:1: configured budget was exhausted")
end

Instance Attribute Details

#details ⇒ Hash[Symbol, Object?] (readonly)

Signature:

  • Hash[Symbol, Object?]

Returns:

  • (Hash[Symbol, Object?]) 


34
35
36
 
# File 'lib/ibex/equiv.rb', line 34

def details
  @details
end