cvise(1) on Linux
The text 719414c06338, as Debian 12 (Bookworm) shipped it.
super-parallel Python port of the C-Reduce project
Flags it lists
-
--also-interesting -
--clang-delta-preserve-routine -
--clang-delta-std -
--commands -
--debug -
--die-on-pass-bug -
--help -
--list-passes -
--log-file -
--log-level -
--max-improvement -
--n -
--no-cache -
--no-give-up -
--no-timing -
--not-c -
--pass-group -
--pass-group-file -
--print-diff -
--remove-pass -
--renaming -
--save-temps -
--shaddap -
--skip-after-n-transforms -
--skip-initial-passes -
--skip-interestingness-test-check -
--skip-key-off -
--sllooww -
--start-with-pass -
--tidy -
--timeout -
--timestamp -
--to-utf8 -
--version -
-c -
-h -
-n -
-s