Module: Ibex::CLIVerify

Defined in:

lib/ibex/cli/verify.rb

Overview

CLI entry point for bounded, independent Automaton IR verification.