diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-20 13:00:10 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-20 13:00:10 -0700 |
| commit | 82cd6194369a376e51a6b525e577f7cc8852ebef (patch) | |
| tree | f52e3788b9b685d3dba82b092934b1fad7273bd0 /Test/runTests.py | |
| parent | 1f53d595ff0e4282ac51a68b124e94cd1af951ec (diff) | |
Split snapshot tests into separate files and add support for %S in runTests.py
Diffstat (limited to 'Test/runTests.py')
| -rw-r--r-- | Test/runTests.py | 4 |
1 files changed, 3 insertions, 1 deletions
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()
|