From da90b5fcd077ff78082b0d50375b54d812e681bc Mon Sep 17 00:00:00 2001 From: Mavo Date: Fri, 5 Feb 2016 20:31:43 +0100 Subject: [PATCH] Fixed benchmark script for new command line options Former-commit-id: d2df6bd5a4c70914b44bbb23bc96e2edbedd9c92 --- benchmark_dft.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/benchmark_dft.py b/benchmark_dft.py index b12d4f185..1b8e29972 100644 --- a/benchmark_dft.py +++ b/benchmark_dft.py @@ -51,7 +51,7 @@ def run_storm_dft(filename, prop, parametric, quiet): dft_file = os.path.join(EXAMPLE_DIR, filename + ".dft") args = [STORM_PATH, dft_file, - '--prop', prop] + prop] if parametric: args.append('--parametric') @@ -88,7 +88,7 @@ if __name__ == "__main__": args = parser.parse_args() count = 0 correct = 0 - properties = ["ET=? [F \"failed\"]", "P=? [F \"failed\"]"] + properties = ['--expectedtime', '--probability'] start = time.time() for index, prop in enumerate(properties): for (benchmark, parametric, result_original) in benchmarks: