diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-09 17:22:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-09 17:22:07 -0700 |
| commit | f87f038c5f0821d0fefb01cea00bfdec6004da91 (patch) | |
| tree | d948178e1c0d2dc459a976f0d187d2d41a5437c0 /test/regress | |
| parent | 550c49a7dd2b13ea29743458336f0c0a0fb6099a (diff) | |
Rename CVC4_ macros to CVC5_. (#6327)
Diffstat (limited to 'test/regress')
| -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 ad46eec88..c212a3990 100755 --- a/test/regress/run_regression.py +++ b/test/regress/run_regression.py @@ -268,9 +268,9 @@ def run_regression(check_unsat_cores, check_proofs, dump, use_skip_return_code, if expected_exit_status is None: expected_exit_status = 0 - if 'CVC4_REGRESSION_ARGS' in os.environ: + if 'CVC5_REGRESSION_ARGS' in os.environ: basic_command_line_args += shlex.split( - os.environ['CVC4_REGRESSION_ARGS']) + os.environ['CVC5_REGRESSION_ARGS']) if not check_unsat_cores and ('(get-unsat-core)' in benchmark_content or '(get-unsat-assumptions)' in benchmark_content): |