From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 25 Oct 2021 11:59:53 +0000 (-0700)
Subject: [Regression Script] Support older Python versions (#7482)
X-Git-Tag: cvc5-1.0.0~988
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6981e3ebde0e65ba772be5cf897611152d1b3ae7;p=cvc5.git

[Regression Script] Support older Python versions (#7482)


This removes two uses of f-strings, which are not supported by Python
<3.6.
---

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="",