murphi2murphi(1) on Linux
The text 68e88657e99c, as Debian 13 (Trixie) shipped it. The page shows this text now.
preprocessor for Murphi models
Flags it lists
-
--decompose-complex-comparisons -
--explicit-semicolons -
--output -
--remove-liveness -
--switch-to-if -
--to-ascii -
--version -
-o