From 259a1283e5636fc99a454ea414dc71008f71a571 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Thu, 23 Jul 2015 15:03:21 -0700 Subject: Bump up the time limit in runTests.py and save a bit of space in output --- Test/runTests.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Test/runTests.py') 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) -- cgit v1.2.3