From 82cd6194369a376e51a6b525e577f7cc8852ebef Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Mon, 20 Jul 2015 13:00:10 -0700
Subject: Split snapshot tests into separate files and add support for %S in
 runTests.py

---
 Test/dafny0/snapshots/Snapshots7.v1.dfy | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 Test/dafny0/snapshots/Snapshots7.v1.dfy

(limited to 'Test/dafny0/snapshots/Snapshots7.v1.dfy')

diff --git a/Test/dafny0/snapshots/Snapshots7.v1.dfy b/Test/dafny0/snapshots/Snapshots7.v1.dfy
deleted file mode 100644
index b45dfe78..00000000
--- a/Test/dafny0/snapshots/Snapshots7.v1.dfy
+++ /dev/null
@@ -1,22 +0,0 @@
-module M0
-{
-  class C
-  {
-    method Foo()
-      requires true;
-    {
-    }
-  }
-}
-
-
-module M1 refines M0
-{
-  class C
-  {
-    method Foo...
-    {
-      assert false;
-    }
-  }
-}
-- 
cgit v1.2.3