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/runtest.snapshot | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 Test/dafny0/snapshots/runtest.snapshot

(limited to 'Test/dafny0/snapshots/runtest.snapshot')

diff --git a/Test/dafny0/snapshots/runtest.snapshot b/Test/dafny0/snapshots/runtest.snapshot
deleted file mode 100644
index 62ccabb3..00000000
--- a/Test/dafny0/snapshots/runtest.snapshot
+++ /dev/null
@@ -1,2 +0,0 @@
-// RUN: %dafny /compile:0 /verifySnapshots:2 /traceCaching:1 /verifySeparately Snapshots0.dfy Snapshots1.dfy Snapshots2.dfy Snapshots3.dfy Snapshots4.dfy Snapshots5.dfy Snapshots6.dfy Snapshots7.dfy  > "%t"
-// RUN: %diff "%s.expect" "%t"
-- 
cgit v1.2.3