diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-02 12:17:32 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-02 10:17:32 -0700 |
commit | 34661cedac9ea64c4cec5fc71f0d303eb7688723 (patch) | |
tree | 464e2a20dd363ef54fe9a39f15e3cb30972c141d | |
parent | 5401565e7622f9ee6b07abb68e1a9378cb9876a8 (diff) |
Fix regression option (#4680)
-rw-r--r-- | test/regress/regress1/quantifiers/eqrange_ex_1.smt2 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/regress1/quantifiers/eqrange_ex_1.smt2 b/test/regress/regress1/quantifiers/eqrange_ex_1.smt2 index ca53d7cf5..8e3311ff2 100644 --- a/test/regress/regress1/quantifiers/eqrange_ex_1.smt2 +++ b/test/regress/regress1/quantifiers/eqrange_ex_1.smt2 @@ -1,3 +1,5 @@ +; COMMAND-LINE: --arrays-exp +; EXPECT: unsat (set-logic ALL) (set-info :status unsat) (set-option :produce-models true) |