Bump up the time limit in runTests.py and save a bit of space in output

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)