yichus law
Check declared Yichus/Law obligations by seeded generation, or propose properties with --suggest
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 law [--name <string>] [--seed <integer>] [--runs <integer>] [--shrink <integer>] [--result <string>] [--json] [--suggest] [--mode <string>] [--maximum <integer>] [--timeout-ms <integer>] [--law <string>]... <files>...
Check declared Yichus/Law obligations by seeded generation, or propose properties with --suggest
Options and flags:
--help
Display this help text.
--name <string>
Module name recorded in the verdict artifact (it selects nothing; see --law)
--seed <integer>
Run seed; the whole run replays from this one number
--runs <integer>
Generated inputs per obligation
--shrink <integer>
Shrink budget (candidate evaluations) per counterexample
--result <string>
Write the law-verdict JSON artifact here
--json
Print the verdict artifact as JSON to stdout
--suggest
Propose properties from the program's facts instead of checking obligations
--mode <string>
Law method: sampled (default) or exhaustive
--maximum <integer>
Maximum finite inputs per obligation (up to 4096)
--timeout-ms <integer>
Whole finite-worker deadline in milliseconds
--law <string>
Check only this obligation, named by its binding (`round_trip`) or package-qualified (`Pkg/Laws::round_trip`); repeatable