diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-04-23 15:11:44 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-23 15:11:44 -0500 |
| commit | d59314199fc72fa299ed536937a2184c54f0fc98 (patch) | |
| tree | bbc150972b1524b09ddc6836a3c5629c1ee6728c /contrib/run-script-smtcomp2018-application | |
| parent | 28e9077fad9d5c61c61a1762e7cf021c226cb9c2 (diff) | |
Draft smt comp 2018 for quantifiers and non-linear (#1808)
Diffstat (limited to 'contrib/run-script-smtcomp2018-application')
| -rwxr-xr-x | contrib/run-script-smtcomp2018-application | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/run-script-smtcomp2018-application b/contrib/run-script-smtcomp2018-application index 8a8ea7786..4bf2f6b91 100755 --- a/contrib/run-script-smtcomp2018-application +++ b/contrib/run-script-smtcomp2018-application @@ -35,10 +35,10 @@ ALIA|QF_ALIA|QF_LRA|QF_UFLIA|QF_UFLRA|UFLRA) runcvc4 --incremental ;; ANIA|QF_ANIA|QF_NIA|QF_UFNIA|QF_NRA) - runcvc4 --nl-ext --tear-down-incremental=1 + runcvc4 --tear-down-incremental=1 ;; LIA|LRA) - runcvc4 --incremental --cbqi + runcvc4 --incremental ;; QF_AUFLIA) runcvc4 --no-arrays-eager-index --arrays-eager-lemmas --incremental |