summaryrefslogtreecommitdiff
path: root/Test/dafny0/snapshots/Snapshots5.run.dfy.expect
Commit message (Expand)AuthorAge
* Suppress many warnings in the test suite.Gravatar Clément Pit--Claudel2015-08-28
* Add change missing from bd47e3cdb79cGravatar Clément Pit--Claudel2015-08-23
* Split snapshot tests into separate files and add support for %S in runTests.pyGravatar Clément Pit--Claudel2015-07-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 09:56:37 +0000