Exception: Ibex::Error

Inherits:

StandardError

• Object
• StandardError
• Ibex::Error

Defined in:

lib/ibex/error.rb,
sig/ibex/error.rbs

Overview

Base error raised for invalid grammars and command failures.

Direct Known Subclasses

BisonImport::BudgetExceeded, CLIReduce::ReductionBudgetExceeded, Configuration::Conflict, Ibex::Equiv::BudgetExceeded, Ibex::Equiv::Difference, Ibex::Equiv::Machine::BudgetExceeded, Fix::BudgetExceeded, Frontend::ResolutionIOError, Fuzz::BudgetExceeded, Fuzz::Mismatch, GenerationTransaction::Error, GenerationTransaction::SourceChanged, LSP::ProtocolError, TableArtifact::ValidationError, VerificationReport::ValidationError, Verify::BudgetExceeded