rumur(1) on Linux
The text 78036df65a39, as Debian 13 (Trixie) shipped it. The page shows this text now.
Yet another explicit state model checker
Flags it lists
-
--bound -
--debug -
--help -
--max-errors -
--monopolise -
--output -
--quiet -
--set-capacity -
--set-expand-threshold -
--smt-arg -
--smt-budget -
--smt-path -
--smt-prelude -
--threads -
--trace -
--value-type -
--verbose -
--version -
-d -
-e -
-o -
-q -
-s -
-t -
-v