diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-14 15:44:37 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-14 15:44:37 -0400 |
commit | 58228bd65d209ac7637676027b902fb05d3d53bf (patch) | |
tree | 612b651daac8371e2ec5bfefed7599a02d68b2f8 | |
parent | 90230eda67c4b1b6a0e8fea49ed6986af0d4a8a1 (diff) |
teardown for nonlinear
-rwxr-xr-x | contrib/run-script-smtcomp2015-application | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/contrib/run-script-smtcomp2015-application b/contrib/run-script-smtcomp2015-application index 973da7fe3..347c59296 100755 --- a/contrib/run-script-smtcomp2015-application +++ b/contrib/run-script-smtcomp2015-application @@ -32,10 +32,16 @@ QF_LIA) # same as QF_LRA but add --pb-rewrites runcvc4 --incremental ;; -ALIA|AUFLIA|AUFLIRA|AUFNIRA|BV|UF|UFBV|UFIDL|UFLIA|UFLRA|UFNIA) +ANIA|AUFNIRA|QF_ANIA|QF_NIA|QF_UFNIA|UFNIA) + runcvc4 --tear-down-incremental + ;; +ALIA|AUFLIA|AUFLIRA|BV|UF|UFBV|UFIDL|UFLIA|UFLRA) runcvc4 --incremental ;; -LIA|LRA|NIA|NRA) +NIA|NRA) + runcvc4 --tear-down-incremental --cbqi + ;; +LIA|LRA) runcvc4 --incremental --cbqi ;; QF_BV) |