diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-09 08:25:04 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-09 13:25:04 +0000 |
commit | 40abcb2a5cdd63b331446da6feae0148ad8bb2c5 (patch) | |
tree | 5ca118ee559e54e751072073169249676c608ada | |
parent | 26fc2731dc0366a70c5145571ff4d2c460b3148f (diff) |
Avoid spurious runs in run_regression.py (#6318)
The options --check-synth-sol and --check-abducts are independent from the rest of the solver. Hence, it is not necessary to run with/without them enabled in our regressions.
This saves roughly 30-40 seconds on regression regress0-2.
-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 a4f2b85df..ad46eec88 100755 --- a/test/regress/run_regression.py +++ b/test/regress/run_regression.py @@ -327,7 +327,7 @@ def run_regression(check_unsat_cores, check_proofs, dump, use_skip_return_code, '--no-check-synth-sol' not in all_args and \ '--sygus-rr' not in all_args and \ '--check-synth-sol' not in all_args: - extra_command_line_args += ['--check-synth-sol'] + all_args += ['--check-synth-sol'] if ('sat' in expected_output_lines or \ 'not_entailed' in expected_output_lines or \ 'unknown' in expected_output_lines) and \ @@ -351,7 +351,7 @@ def run_regression(check_unsat_cores, check_proofs, dump, use_skip_return_code, if '--no-check-abducts' not in all_args and \ '--check-abducts' not in all_args and \ 'get-abduct' in benchmark_content: - extra_command_line_args += ['--check-abducts'] + all_args += ['--check-abducts'] # Create a test case for each extra argument for extra_arg in extra_command_line_args: |