Exception: Ibex::Equiv::Machine::BudgetExceeded

Inherits:

Ibex::Error

• Object
• StandardError
• Ibex::Error
• Ibex::Equiv::Machine::BudgetExceeded

Defined in:

lib/ibex/equiv/machine.rb,
sig/ibex/equiv/machine.rbs