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