diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-26 16:12:14 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-26 16:12:14 -0700 |
| commit | 06cfada2e6521fe0d58abccacfcd9fe42a43c86c (patch) | |
| tree | 9445ffc4741f02ed7fa58c5630b89a67838c9ff2 /contrib | |
| parent | 77d8df881ec006f9c99a089befcd981af4104a21 (diff) | |
Small change in run script
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/run-script-smtcomp2016 | 2 |
1 files changed, 1 insertions, 1 deletions
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" |