diff options
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress0/error.cvc | 2 | ||||
| -rwxr-xr-x | test/regress/run_regression | 12 |
2 files changed, 12 insertions, 2 deletions
diff --git a/test/regress/regress0/error.cvc b/test/regress/regress0/error.cvc index 09a69e212..982731b34 100644 --- a/test/regress/regress0/error.cvc +++ b/test/regress/regress0/error.cvc @@ -1,4 +1,4 @@ % EXPECT-ERROR: CVC4 Error: -% EXPECT-ERROR: Parse Error: Parser Error: error.cvc:3.9: Symbol BOOL not declared +% EXPECT-ERROR: Parse Error: error.cvc:3.9: Symbol BOOL not declared p : BOOL; % EXIT: 1 diff --git a/test/regress/run_regression b/test/regress/run_regression index 65ab6c31a..439c8e6c9 100755 --- a/test/regress/run_regression +++ b/test/regress/run_regression @@ -77,7 +77,17 @@ else echo "$expected_error" >"$experrfile" fi -("$cvc4" --segv-nospin "$benchmark"; echo $? >"$exitstatusfile") > "$outfile" 2> "$errfile" +cvc4dir=`dirname "$cvc4"` +cvc4dirfull=`cd "$cvc4dir" && pwd` +if [ -z "$cvc4dirfull" ]; then + error "getting directory of \`$cvc4 !?" +fi +cvc4base=`basename "$cvc4"` +cvc4full="$cvc4dirfull/$cvc4base" +( cd `dirname "$benchmark"`; + "$cvc4full" --segv-nospin `basename "$benchmark"`; + echo $? >"$exitstatusfile" +) > "$outfile" 2> "$errfile" diffs=`diff -u "$expoutfile" "$outfile"` diffexit=$? |