From: Andrew Reynolds Date: Fri, 9 Apr 2021 13:25:04 +0000 (-0500) Subject: Avoid spurious runs in run_regression.py (#6318) X-Git-Tag: cvc5-1.0.0~1935 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=40abcb2a5cdd63b331446da6feae0148ad8bb2c5;p=cvc5.git 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. --- 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: