summaryrefslogtreecommitdiff
path: root/Test/triggers/splitting-picks-the-right-tokens.dfy.expect
Commit message (Expand)AuthorAge
* Implement {:nowarn}, clarify some messages, and add a few testsGravatar Clément Pit--Claudel2015-08-28
* Improve error reporting for split quantifiersGravatar Clément Pit--Claudel2015-08-23