diff options
Diffstat (limited to 'test/regress/run_regression')
| -rwxr-xr-x | test/regress/run_regression | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/regress/run_regression b/test/regress/run_regression index ebef82cf1..614f02f0f 100755 --- a/test/regress/run_regression +++ b/test/regress/run_regression @@ -52,10 +52,10 @@ if expr "$benchmark" : '.*\.smt$' &>/dev/null; then fi benchmark=$tmpbenchmark elif grep '^ *:status *sat' "$benchmark" &>/dev/null; then - expected_output=SAT + expected_output=sat expected_exit_status=10 elif grep '^ *:status *unsat' "$benchmark" &>/dev/null; then - expected_output=UNSAT + expected_output=unsat expected_exit_status=20 else error "cannot determine status of \`$benchmark'" @@ -80,10 +80,10 @@ elif expr "$benchmark" : '.*\.smt2$' &>/dev/null; then fi benchmark=$tmpbenchmark elif grep '^ *(set-info *:status *sat' "$benchmark" &>/dev/null; then - expected_output=SAT + expected_output=sat expected_exit_status=10 elif grep '^ *(set-info *:status *unsat' "$benchmark" &>/dev/null; then - expected_output=UNSAT + expected_output=unsat expected_exit_status=20 else error "cannot determine status of \`$benchmark'" |