diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-04 12:54:26 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-04 12:54:26 -0500 |
| commit | bf682b92e2bddcd490604f8a65c440b9c4c2f2f9 (patch) | |
| tree | 336954c088a073aef44ddf49c1f66b02c4c3c4af /test/regress | |
| parent | 6c0a62d69368b1af7e9777efcd703da6dc1cda11 (diff) | |
Enable multi-trigger-linear by default, add option.
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress0/quantifiers/quaternion_ds1_symm_0428.fof.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/quantifiers/quaternion_ds1_symm_0428.fof.smt2 b/test/regress/regress0/quantifiers/quaternion_ds1_symm_0428.fof.smt2 index 9b0216e58..e7be953ce 100644 --- a/test/regress/regress0/quantifiers/quaternion_ds1_symm_0428.fof.smt2 +++ b/test/regress/regress0/quantifiers/quaternion_ds1_symm_0428.fof.smt2 @@ -1,4 +1,4 @@ -; COMMAND-LINE: --full-saturate-quant +; COMMAND-LINE: --full-saturate-quant --multi-trigger-cache ; EXPECT: unsat (set-logic AUFLIRA) (set-info :status unsat) |