yichus tla
Retired TLA+ sketch command; use spec for native checks
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 tla [--output <string>] [--verdicts <string>] [--name <string>] [--max-ops <integer>] [--require-holds <string>] [--view <string>] [--json] [--check] [<legacy files>...]
Retired TLA+ sketch command; use spec for native checks
Options and flags:
--help
Display this help text.
--output <string>, -o <string>
Retired option; use spec --output
--verdicts <string>
Retired option; use spec --output
--name <string>, -n <string>
Retired option; use spec --name
--max-ops <integer>
Retired option; use spec --max-ops
--require-holds <string>
Retired option; use spec --require-holds
--view <string>
Retired option; use spec --view
--json
Retired option; spec prints JSON by default
--check
Retired option; use spec to check properties