yichus conformance
Check declared Yichus/Spec Conformance bindings against the compiled handlers by execution
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 conformance [--name <string>] [--seed <integer>] [--trajectories <integer>] [--ops <integer>] [--result <string>] [--json] <files>...
Check declared Yichus/Spec Conformance bindings against the compiled handlers by execution
Options and flags:
--help
Display this help text.
--name <string>
Module name for the verdict artifact
--seed <integer>
Run seed; the whole run replays from this one number
--trajectories <integer>
Fresh-world trajectories per conformance
--ops <integer>
Operations per trajectory
--result <string>
Write the conformance-verdict JSON artifact here
--json
Print the verdict artifact as JSON to stdout