From 6981e3ebde0e65ba772be5cf897611152d1b3ae7 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Mon, 25 Oct 2021 04:59:53 -0700 Subject: [PATCH] [Regression Script] Support older Python versions (#7482) This removes two uses of f-strings, which are not supported by Python <3.6. --- test/regress/run_regression.py | 4 ++-- 1 file 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="", -- 2.30.2