diff options
Diffstat (limited to 'test/regress/run_regression')
| -rwxr-xr-x | test/regress/run_regression | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/run_regression b/test/regress/run_regression index 9333cdb8c..68c1e0677 100755 --- a/test/regress/run_regression +++ b/test/regress/run_regression @@ -121,12 +121,12 @@ elif expr "$benchmark" : '.*\.smt2$' &>/dev/null; then error "cannot determine expected exit status of \`$benchmark': please use \`% EXIT:' gesture" fi benchmark=$tmpbenchmark - elif grep '^ *(set-info *:status *sat' "$benchmark" &>/dev/null; then + elif grep '^ *( *set-info *:status *sat' "$benchmark" &>/dev/null; then expected_proof= expected_output=sat expected_exit_status=10 command_line= - elif grep '^ *(set-info *:status *unsat' "$benchmark" &>/dev/null; then + elif grep '^ *( *set-info *:status *unsat' "$benchmark" &>/dev/null; then expected_proof= expected_output=unsat expected_exit_status=20 |