diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-06-12 11:44:14 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-06-12 11:44:14 -0700 |
| commit | 1b64a68eaa9013047ca3af9910f2fbc264e6f3ac (patch) | |
| tree | 90cd351789f55e8edb9592133d9223bac3ad3020 /Test/runTests.py | |
| parent | e3df1e20893c90700d3f9a23902ff5220e79994d (diff) | |
Small fix in runTests.py
Diffstat (limited to 'Test/runTests.py')
| -rw-r--r-- | Test/runTests.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Test/runTests.py b/Test/runTests.py index df233a94..044cf260 100644 --- a/Test/runTests.py +++ b/Test/runTests.py @@ -331,7 +331,7 @@ def find_tests(paths, compiler_cmds, excluded, timeout): def run_tests(args):
- if args.compiler is []:
+ if args.compiler == []:
base_directory = os.path.dirname(os.path.realpath(__file__))
args.compiler = [os.path.normpath(os.path.join(base_directory, "../Binaries/Dafny.exe"))]
@@ -401,7 +401,6 @@ def compare_results(globs, time_all): for path, resultset in resultsets.items():
resultset["$$TOTAL$$"] = None, sum(v[1] for v in resultset.values() if v[1] and v[0] != TestStatus.TIMEOUT)
- print(all_tests)
with open("compare.csv", mode='w', newline='') as writer:
csv_writer = csv.writer(writer, dialect='excel')
csv_writer.writerow(["Name"] + [os.path.split(path)[1].lstrip("0123456789-") for path in paths])
|