projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c2e5cd) | patch
[Regression Script] Support older Python versions (#7482)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 25 Oct 2021 11:59:53 +0000 (04:59 -0700)
committerGitHub <noreply@github.com>
Mon, 25 Oct 2021 11:59:53 +0000 (11:59 +0000)
commit6981e3ebde0e65ba772be5cf897611152d1b3ae7
tree7fd4d9eb115318c7299cc8f4c75ce57b402a4d2etree
parent9c2e5cd65a33879ef5561f7864f2b944e198a593commit | diff
[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 diff | blob | history