summaryrefslogtreecommitdiff
path: root/Test/dafny0/snapshots
ModeNameSize
-rw-r--r--Snapshots0.v0.dfy81logplain
-rw-r--r--Snapshots0.v1.dfy90logplain
-rw-r--r--Snapshots1.v0.dfy105logplain
-rw-r--r--Snapshots1.v1.dfy114logplain
-rw-r--r--Snapshots2.v0.dfy185logplain
-rw-r--r--Snapshots2.v1.dfy194logplain
-rw-r--r--Snapshots3.v0.dfy92logplain
-rw-r--r--Snapshots3.v1.dfy104logplain
-rw-r--r--Snapshots4.v0.dfy78logplain
-rw-r--r--Snapshots4.v1.dfy136logplain
-rw-r--r--Snapshots5.v0.dfy331logplain
-rw-r--r--Snapshots5.v1.dfy380logplain
-rw-r--r--Snapshots6.v0.dfy209logplain
-rw-r--r--Snapshots6.v1.dfy208logplain
-rw-r--r--Snapshots7.v0.dfy200logplain
-rw-r--r--Snapshots7.v1.dfy199logplain
-rw-r--r--lit.local.cfg234logplain
-rw-r--r--runtest.snapshot238logplain
-rw-r--r--runtest.snapshot.expect9023logplain