lpsinvelm(1) on Linux
The text 49f94f1a8f75, as Debian 10 (Buster) shipped it. The page shows this text now.
check invariants and use these to simplify or eliminate summands of an LPS
Flags it lists
-
--all-violations -
--counter-example -
--debug -
--help -
--induction -
--invariant -
--log-level -
--no-check -
--no-elimination -
--print-dot -
--qlimit -
--quiet -
--rewriter -
--simplify-all -
--smt-solver -
--time-limit -
--timings -
--verbose -
--version -
-Q -
-c -
-d -
-e -
-h -
-i -
-l -
-n -
-o -
-p -
-q -
-r -
-t -
-v -
-y -
-z