diff options
Diffstat (limited to 'test/regress/run_regression.py')
| -rwxr-xr-x | test/regress/run_regression.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py index 1e3848338..3b97f6dde 100755 --- a/test/regress/run_regression.py +++ b/test/regress/run_regression.py @@ -187,7 +187,7 @@ def run_regression(proof, dump, wrapper, cvc4_binary, benchmark_path): # been set explicitly, the benchmark is invalid. sys.exit('Cannot determine status of "{}"'.format(benchmark_path)) - if not proof and ('(get-unsat-cores)' in metadata_content + if not proof and ('(get-unsat-core)' in metadata_content or '(get-unsat-assumptions)' in metadata_content): print( '1..0 # Skipped: unsat cores not supported without proof support') |