summaryrefslogtreecommitdiff
path: root/Test/dafny0/snapshots/Inputs/Snapshots8.v0.dfy
Commit message (Collapse)AuthorAge
* Added tests for Boogie's new /verifySnapshots:3, which will be used by the ↵Gravatar Rustan Leino2015-08-28
Dafny emacs mode
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 04:59:25 +0000