yichus protocol
Explore declared finite transaction protocols with atomic states, faults, and sourced counterexamples
This help is generated from the same argument parser as the CLI. For a
subcommand, append its name and --help to see its options.
Usage: yichus protocol --case <path> [--result <path>] [--ir <path>] <files>...
Exhaustively check a declared finite transaction protocol case
Options and flags:
--help
Display this help text.
--case <path>
Versioned finite protocol case JSON
--result <path>
Write the complete verdict artifact
--ir <path>
Write the versioned protocol IR with lexical values and Matchless guards