search

tamarin-prover / manual

Tamarin prover manual: source files
https://tamarin-prover.github.io/manual
24 stars 39 forks source link

Add comment about use of --quit-on-warning to 003_example.md #32

Closed mpdehnel closed 6 years ago

mpdehnel commented 6 years ago

As discussed by issue 243.

Feel free to edit the text, or move it to a better location in this file. I think it should remain in the 003_example.md file (or somewhere similarly early, rather than 009_advanced-features.md) as I have heard examples of beginners not knowing they had wellformedness errors, and then wondering why they couldn't prove anything.

jdreier commented 6 years ago

Looks good, thank you guys!

rsasse commented 6 years ago

Thanks Martin and Katriel! :+1: