Split snapshot tests into separate files and add support for %S in runTests.py

1 files changed, 0 insertions, 27 deletions

diff --git a/Test/dafny0/snapshots/Snapshots5.v1.dfy b/Test/dafny0/snapshots/Snapshots5.v1.dfy
deleted file mode 100644
index 05dbced0..00000000
--- a/Test/dafny0/snapshots/Snapshots5.v1.dfy
+++ /dev/null
@@ -1,27 +0,0 @@
-method M()

-{

-  N();

-  if (*)

-  {

-

-  }

-  else

-  {

-    assert (forall b: bool :: b || !b) || 0 != 0;

-  }

-  N();

-  assert (forall b: bool :: b || !b) || 3 != 3;

-  if (*)

-  {

-

-  }

-  else

-  {

-    assert (exists b: bool :: b || !b) || 4 != 4;

-  }

-  assert (exists b: bool :: b || !b) || 5 != 5;

-}

-

-

-method N()

-  ensures (forall b: bool :: b || !b) || 2 != 2;