diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-12-11 16:38:00 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-11 16:38:00 -0600 |
| commit | 147fd723e6c13eb3dd44a43073be03a64ea3fe66 (patch) | |
| tree | 0a6eb33068ff609262566fa744a885cf4658a934 /test/regress/regress0/fmf | |
| parent | 1c114dc487d94d72ebf3453611c42b28777d6482 (diff) | |
Remove alternate versions of mbqi (#2742)
Diffstat (limited to 'test/regress/regress0/fmf')
| -rw-r--r-- | test/regress/regress0/fmf/Arrow_Order-smtlib.778341.smt | 2 | ||||
| -rw-r--r-- | test/regress/regress0/fmf/QEpres-uf.855035.smt | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/fmf/Arrow_Order-smtlib.778341.smt b/test/regress/regress0/fmf/Arrow_Order-smtlib.778341.smt index e8c7949dc..bb2630b93 100644 --- a/test/regress/regress0/fmf/Arrow_Order-smtlib.778341.smt +++ b/test/regress/regress0/fmf/Arrow_Order-smtlib.778341.smt @@ -1,4 +1,4 @@ -; COMMAND-LINE: --finite-model-find --mbqi=gen-ev +; COMMAND-LINE: --finite-model-find ; EXPECT: unsat (benchmark Isabelle :status sat diff --git a/test/regress/regress0/fmf/QEpres-uf.855035.smt b/test/regress/regress0/fmf/QEpres-uf.855035.smt index 4fe592638..97a585090 100644 --- a/test/regress/regress0/fmf/QEpres-uf.855035.smt +++ b/test/regress/regress0/fmf/QEpres-uf.855035.smt @@ -1,4 +1,4 @@ -; COMMAND-LINE: --finite-model-find --mbqi=gen-ev +; COMMAND-LINE: --finite-model-find ; EXPECT: sat (benchmark Isabelle :status sat |