diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-06-23 15:13:52 -0300 |
|---|---|---|
| committer | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-06-23 15:13:52 -0300 |
| commit | 528f483261ba57a9796c74b93115b4f076cfcecf (patch) | |
| tree | 359eb6f454551c1d5e49f0ffc18cf3831e237153 /test/regress/regress0/bv | |
| parent | 7c071a9c8c0b9e30be4662d65f9494fb3e79aa05 (diff) | |
| parent | ac61c2bce5026a3b1b796300db09f4db9993cf47 (diff) | |
Merge branch 'moreDot' into letTermsDot
Diffstat (limited to 'test/regress/regress0/bv')
| -rw-r--r-- | test/regress/regress0/bv/eager-inc-cadical.smt2 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress0/bv/eager-inc-cadical.smt2 b/test/regress/regress0/bv/eager-inc-cadical.smt2 index 01840dffa..34007f6aa 100644 --- a/test/regress/regress0/bv/eager-inc-cadical.smt2 +++ b/test/regress/regress0/bv/eager-inc-cadical.smt2 @@ -1,4 +1,3 @@ -; REQUIRES: cadical ; COMMAND-LINE: --incremental --bv-sat-solver=cadical --bitblast=eager (set-logic QF_BV) (set-option :incremental true) |