/Test/dafny0/snapshots/
../
Snapshots0.v0.dfy
Snapshots0.v1.dfy
Snapshots1.v0.dfy
Snapshots1.v1.dfy
Snapshots2.v0.dfy
Snapshots2.v1.dfy
Snapshots3.v0.dfy
Snapshots3.v1.dfy
Snapshots4.v0.dfy
Snapshots4.v1.dfy
Snapshots5.v0.dfy
Snapshots5.v1.dfy
Snapshots6.v0.dfy
Snapshots6.v1.dfy
Snapshots7.v0.dfy
Snapshots7.v1.dfy
lit.local.cfg
runtest.snapshot
runtest.snapshot.expect