diff options
| -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:
|