diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-24 07:36:21 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-24 09:36:21 -0500 |
| commit | 3b728a49c482ea447e3b82c7aa1251ad0866c12a (patch) | |
| tree | 134fbd4b72390a4cd75a1dcfeefb7e8bb9073470 /test/regress/run_regression.py | |
| parent | 33fe4c274ca71237601e776c7be942bd2bfd02af (diff) | |
Add tests that enumerate and verify rewrite rules (#2344)
Diffstat (limited to 'test/regress/run_regression.py')
| -rwxr-xr-x | test/regress/run_regression.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py index 6f6edf058..fa23bd9bf 100755 --- a/test/regress/run_regression.py +++ b/test/regress/run_regression.py @@ -269,6 +269,7 @@ def run_regression(unsat_cores, proofs, dump, wrapper, cvc4_binary, extra_command_line_args = [] if benchmark_ext == '.sy' and \ '--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'] if re.search(r'^(sat|invalid|unknown)$', expected_output) and \ @@ -326,6 +327,12 @@ def run_regression(unsat_cores, proofs, dump, wrapper, cvc4_binary, print( 'not ok - Expected exit status "{}" but got "{}" - Flags: {}'. format(expected_exit_status, exit_status, command_line_args)) + print() + print('Output:') + print(output) + print() + print('Error output:') + print(error) else: print('ok - Flags: {}'.format(command_line_args)) |