From: Clark Barrett <barrett@cs.nyu.edu>
Date: Thu, 26 May 2016 23:12:14 +0000 (-0700)
Subject: Small change in run script
X-Git-Tag: cvc5-1.0.0~6049^2~31
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=06cfada2e6521fe0d58abccacfcd9fe42a43c86c;p=cvc5.git

Small change in run script
---

diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016
index 534e290ed..0db378a80 100644
--- a/contrib/run-script-smtcomp2016
+++ b/contrib/run-script-smtcomp2016
@@ -96,7 +96,7 @@ QF_UFBV)
 QF_BV)
   exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=1024 \
          --threads 2 \
-         --thread0 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bitblast=eager  --bv-sat-solver=cryptominisat --bitblast-aig --no-bv-native-xor --no-bv-abstraction' \
+         --thread0 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bitblast=eager  --bv-sat-solver=cryptominisat --bitblast-aig --no-bv-abstraction' \
          --thread1 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bv-eq-slicer=auto --no-bv-abstraction' \
          --no-wait-to-join \
          "$bench"