yichus verify
Enumerate interleavings for IO-heavy source
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 verify [--max-ops <integer>] [--json] <files>...
Enumerate interleavings for IO-heavy source
Options and flags:
--help
Display this help text.
--max-ops <integer>, -m <integer>
Maximum operations to enumerate
--json
Emit structured JSON output