diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-25 04:59:53 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-25 11:59:53 +0000 |
commit | 6981e3ebde0e65ba772be5cf897611152d1b3ae7 (patch) | |
tree | 7fd4d9eb115318c7299cc8f4c75ce57b402a4d2e | |
parent | 9c2e5cd65a33879ef5561f7864f2b944e198a593 (diff) |
[Regression Script] Support older Python versions (#7482)
This removes two uses of f-strings, which are not supported by Python
<3.6.
-rwxr-xr-x | test/regress/run_regression.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py index edb45e4bd..6e65a395a 100755 --- a/test/regress/run_regression.py +++ b/test/regress/run_regression.py @@ -258,7 +258,7 @@ class DumpTester(Tester): "--parse-only", "-o", "raw-benchmark", - f"--output-lang={ext_to_lang[benchmark_info.benchmark_ext]}", + "--output-lang={}".format(ext_to_lang[benchmark_info.benchmark_ext]), ] dump_output, _, _ = run_process( [benchmark_info.cvc5_binary] @@ -280,7 +280,7 @@ class DumpTester(Tester): command_line_args=benchmark_info.command_line_args + [ "--parse-only", - f"--lang={ext_to_lang[benchmark_info.benchmark_ext]}", + "--lang={}".format(ext_to_lang[benchmark_info.benchmark_ext]), ], benchmark_basename=tmpf.name, expected_output="", |