Module: Ibex::Verify

Defined in:

lib/ibex/verify.rb,
lib/ibex/verify/result.rb,
lib/ibex/verify/verifier.rb,
lib/ibex/verify/language_witness.rb,
lib/ibex/verify/reference_collection.rb,
lib/ibex/verify/action_correspondence.rb,
sig/ibex/verify.rbs,
sig/ibex/verify/result.rbs,
sig/ibex/verify/verifier.rbs,
sig/ibex/verify/language_witness.rbs,
sig/ibex/verify/reference_collection.rbs,
sig/ibex/verify/action_correspondence.rbs

Defined Under Namespace

Classes: ActionCorrespondence, BudgetExceeded, LanguageWitness, ReferenceCollection, Result, Verifier, Violation