summaryrefslogtreecommitdiff
path: root/Test/triggers/large-quantifiers-dont-break-dafny.dfy.expect
Commit message (Expand)AuthorAge
* Add /printTooltips to trigger testsGravatar Clément Pit--Claudel2015-08-21
* Add tests for quantifier splitting and trigger generationGravatar Clément Pit--Claudel2015-08-19