diff options
Diffstat (limited to 'contrib/run-script-smtcomp2015-application')
| -rwxr-xr-x | contrib/run-script-smtcomp2015-application | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-smtcomp2015-application b/contrib/run-script-smtcomp2015-application index 4219241ef..b3149ce7c 100755 --- a/contrib/run-script-smtcomp2015-application +++ b/contrib/run-script-smtcomp2015-application @@ -36,7 +36,7 @@ ALIA|AUFLIA|AUFLIRA|AUFNIRA|BV|UF|UFBV|UFIDL|UFLIA|UFLRA|UFNIA) runcvc4 ;; LIA|LRA|NIA|NRA) - runcvc4 --cbqi + runcvc4 --cbqi --no-cbqi-sat ;; QF_BV) runcvc4 --unconstrained-simp --bv-eq-slicer=auto --bv-div-zero-const --bv-intro-pow2 |