diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-20 09:48:50 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-20 09:48:50 -0700 |
| commit | 1f53d595ff0e4282ac51a68b124e94cd1af951ec (patch) | |
| tree | 29b15bdc31aa9d35f18e0ed64badeeb84e29178e | |
| parent | 7c766a43a77845ed1af5a0e5367e7a21edf13a8f (diff) | |
Add missing .expect file
+ a small fix in runTests.py
| -rw-r--r-- | Test/dafny0/IndexIntoUpdate.dfy.expect | 6 | ||||
| -rw-r--r-- | Test/runTests.py | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/Test/dafny0/IndexIntoUpdate.dfy.expect b/Test/dafny0/IndexIntoUpdate.dfy.expect new file mode 100644 index 00000000..3423a20b --- /dev/null +++ b/Test/dafny0/IndexIntoUpdate.dfy.expect @@ -0,0 +1,6 @@ +IndexIntoUpdate.dfy(7,19): Error: assertion violation
+Execution trace:
+ (0,0): anon0
+ (0,0): anon3_Then
+
+Dafny program verifier finished with 1 verified, 1 error
diff --git a/Test/runTests.py b/Test/runTests.py index efabdc73..b8d8e6f4 100644 --- a/Test/runTests.py +++ b/Test/runTests.py @@ -370,7 +370,7 @@ def run_tests(args): args.exclude + Defaults.ALWAYS_EXCLUDED, args.timeout))
tests.sort(key=operator.attrgetter("name"))
- args.njobs = min(args.njobs or os.cpu_count() or 1, len(tests))
+ args.njobs = max(1, min(args.njobs or os.cpu_count() or 1, len(tests)))
debug(Debug.INFO, "\nRunning {} test(s) on {} testing thread(s), timeout is {:.2f}s, started at {}".format(len(tests), args.njobs, args.timeout, strftime("%H:%M:%S")))
try:
|