summaryrefslogtreecommitdiff
path: root/Test/dafny0/snapshots/Inputs/Snapshots8.v1.dfy
Commit message (Expand)AuthorAge
* Added tests for Boogie's new /verifySnapshots:3, which will be used by the Da...Gravatar Rustan Leino2015-08-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 21:29:10 +0000