--stop-on-trace is not documented
symphorien opened this issue · comments
--stop-on-trace has no documentation beyond the output of --help
Good point. This should be explained in the manual.
tamarin-prover / manual
Tamarin prover manual: source files