diff options
| -rw-r--r-- | test/regress/regress0/simple-uf.smt | 1 | ||||
| -rwxr-xr-x | test/regress/run_regression.py | 4 |
2 files changed, 2 insertions, 3 deletions
diff --git a/test/regress/regress0/simple-uf.smt b/test/regress/regress0/simple-uf.smt index 9611a6d79..0a1753331 100644 --- a/test/regress/regress0/simple-uf.smt +++ b/test/regress/regress0/simple-uf.smt @@ -4,5 +4,4 @@ :extrasorts (A B) :extrafuns ((f A B) (x A) (y A)) :formula (not (implies (= x y) (= (f x) (f y)))) - :status unsat ) diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py index 59913a9d6..8918c75c1 100755 --- a/test/regress/run_regression.py +++ b/test/regress/run_regression.py @@ -213,10 +213,10 @@ def run_regression(unsat_cores, proofs, dump, use_skip_return_code, wrapper, if expected_output == '' and expected_error == '': match = None if status_regex: - match = re.search(status_regex, benchmark_content) + match = re.findall(status_regex, benchmark_content) if match: - expected_output = status_to_output(match.group(1)) + expected_output = status_to_output('\n'.join(match)) elif expected_exit_status is None: # If there is no expected output/error and the exit status has not # been set explicitly, the benchmark is invalid. |