diff options
author | wuestholz <unknown> | 2014-07-15 12:56:56 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-07-15 12:56:56 +0200 |
commit | 3d81de6e45e1a82931cd09442cb88458c86094e8 (patch) | |
tree | 7c5009e1ca82f8341cc9240cea9b16f7dd7617cb /Test/dafny0/snapshots/runtest.snapshot | |
parent | 264ce2c58b81f478fc0a42e03423252fdc5a1258 (diff) |
Added more tests.
Diffstat (limited to 'Test/dafny0/snapshots/runtest.snapshot')
-rw-r--r-- | Test/dafny0/snapshots/runtest.snapshot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/snapshots/runtest.snapshot b/Test/dafny0/snapshots/runtest.snapshot index d8c41b5c..8bf5b22f 100644 --- a/Test/dafny0/snapshots/runtest.snapshot +++ b/Test/dafny0/snapshots/runtest.snapshot @@ -1,2 +1,2 @@ -// RUN: %dafny /compile:0 /verifySnapshots:2 /verifySeparately Snapshots0.dfy Snapshots1.dfy Snapshots2.dfy Snapshots3.dfy Snapshots4.dfy Snapshots5.dfy > "%t" +// RUN: %dafny /compile:0 /verifySnapshots:2 /verifySeparately Snapshots0.dfy Snapshots1.dfy Snapshots2.dfy Snapshots3.dfy Snapshots4.dfy Snapshots5.dfy Snapshots6.dfy Snapshots7.dfy > "%t" // RUN: %diff "%s.expect" "%t" |