summaryrefslogtreecommitdiff
path: root/Test/triggers/some-proofs-only-work-without-autoTriggers.dfy
Commit message (Expand)AuthorAge
* Implement {:nowarn}, clarify some messages, and add a few testsGravatar Clément Pit--Claudel2015-08-28