diff options
| -rw-r--r-- | Test/runTests.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Test/runTests.py b/Test/runTests.py index 34a9c4de..62ab205b 100644 --- a/Test/runTests.py +++ b/Test/runTests.py @@ -12,7 +12,7 @@ from collections import defaultdict from multiprocessing import Pool, Manager
from subprocess import Popen, call, PIPE, TimeoutExpired
-# C:/Python34/python.exe runTests.py --compiler "c:/MSR/dafny/Binaries/Dafny.exe /useBaseNameForFileName /compile:1 /nologo" --difftool "C:\Program Files (x86)\Meld\Meld.exe" -j4 -f "/dprelude preludes\AlmostAllTriggers.bpl" dafny0\SeqFromArray.dfy
+# C:/Python34/python.exe runTests.py --compiler "c:/MSR/dafny/Binaries/Dafny.exe" --flags "/useBaseNameForFileName /compile:1 /nologo" --difftool "C:\Program Files (x86)\Meld\Meld.exe" -j4 --flags "/dprelude preludes\AlmostAllTriggers.bpl" dafny0\SeqFromArray.dfy
# c:/Python34/python.exe runTests.py --compare ../TestStable/results/SequenceAxioms/2015-06-06-00-54-52--PrettyPrinted.report.csv ../TestStable/results/SequenceAxioms/*.csv
@@ -37,7 +37,7 @@ class Defaults: 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"]
+ FLAGS = ["/useBaseNameForFileName", "/compile:1", "/nologo", "/timeLimit:300"]
class Colors:
RED = '\033[91m'
@@ -236,10 +236,10 @@ class Test: def report(self, tid, running, alltests):
running = [alltests[rid].fname for rid in running]
- running = "; oldest thread: {}".format(running[0]) if running else ""
+ running = "; oldest: {}".format(running[0]) if running else ""
fstring = "[{:5.2f}s] {} ({}{})"
- progress = "{} of {}".format(tid, len(alltests))
+ progress = "{}/{}".format(tid, len(alltests))
message = fstring.format(self.duration, wrap_color(self.dfy, Colors.BRIGHT),
wrap_color(progress, Colors.BRIGHT), running)
|