From 82cd6194369a376e51a6b525e577f7cc8852ebef Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel 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/runTests.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Test/runTests.py') diff --git a/Test/runTests.py b/Test/runTests.py index b8d8e6f4..d2bb61c9 100644 --- a/Test/runTests.py +++ b/Test/runTests.py @@ -34,7 +34,7 @@ except ImportError: pass class Defaults: - ALWAYS_EXCLUDED = ["Output", "snapshots", "sandbox", "desktop"] + ALWAYS_EXCLUDED = ["Inputs", "Output", "sandbox", "desktop"] DAFNY_BIN = os.path.realpath(os.path.join(os.path.dirname(__file__), "../Binaries/Dafny.exe")) COMPILER = [DAFNY_BIN] FLAGS = ["/useBaseNameForFileName", "/compile:1", "/nologo", "/timeLimit:120"] @@ -108,7 +108,9 @@ class Test: self.timeout = timeout self.compiler_id = compiler_id self.cmds = [cmd.replace("%s", self.source_path) for cmd in self.cmds] + self.cmds = [cmd.replace("%S", self.source_directory) for cmd in self.cmds] self.cmds = [cmd.replace("%t", self.temp_output_path) for cmd in self.cmds] + self.cmds = [cmd.replace("%T", self.temp_directory) for cmd in self.cmds] self.status = TestStatus.PENDING self.proc_info = platform.processor() -- cgit v1.2.3