From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 20 Aug 2010 00:00:09 +0000 (+0000)
Subject: turn off extra-checking (which does extra theory-rewriter checking); it was enabled... 
X-Git-Tag: cvc5-1.0.0~8883
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=826cdda16314c240ca6e9c2d524a5fc107d6d899;p=cvc5.git

turn off extra-checking (which does extra theory-rewriter checking); it was enabled by mistake in the last commit
---

diff --git a/test/regress/run_regression b/test/regress/run_regression
index a6ea0797b..b26792a78 100755
--- a/test/regress/run_regression
+++ b/test/regress/run_regression
@@ -132,7 +132,7 @@ cvc4base=`basename "$cvc4"`
 cvc4full="$cvc4dirfull/$cvc4base"
 echo  running $cvc4full `basename "$benchmark"` from `dirname "$benchmark"`
 ( cd `dirname "$benchmark"`;
-  "$cvc4full" -d extra-checking --segv-nospin `basename "$benchmark"`;
+  "$cvc4full" --segv-nospin `basename "$benchmark"`;
   echo $? >"$exitstatusfile"
 ) > "$outfile" 2> "$errfile"