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/lit.local.cfg | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 Test/dafny0/snapshots/lit.local.cfg

(limited to 'Test/dafny0/snapshots/lit.local.cfg')

diff --git a/Test/dafny0/snapshots/lit.local.cfg b/Test/dafny0/snapshots/lit.local.cfg
deleted file mode 100644
index 07cb869f..00000000
--- a/Test/dafny0/snapshots/lit.local.cfg
+++ /dev/null
@@ -1,5 +0,0 @@
-# This test is unusual in that we don't use the .bpl files
-# directly on the command line. So instead we'll invoke
-# files in this directory with extension '.snapshot'. There
-# will only be one for now
-config.suffixes = ['.snapshot']
-- 
cgit v1.2.3