Add description: prove subset of lemmas in file - useful for timing
rsasse opened this issue · comments
Add description of the flag
--prove[=LEMMAPREFIX]
which allows to specify which lemmas should be verified on the command line.
tamarin-prover / manual
Tamarin prover manual: source files