diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/regress0/quantifiers/issue2033-macro-arith.smt2 | 2 | ||||
-rw-r--r-- | test/regress/regress0/quantifiers/macro-back-subs-sat.smt2 | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/quantifiers/issue2033-macro-arith.smt2 b/test/regress/regress0/quantifiers/issue2033-macro-arith.smt2 index 7993910fd..d65a92aa5 100644 --- a/test/regress/regress0/quantifiers/issue2033-macro-arith.smt2 +++ b/test/regress/regress0/quantifiers/issue2033-macro-arith.smt2 @@ -1,4 +1,4 @@ -; COMMAND-LINE: --macros-quant +; COMMAND-LINE: --macros-quant -q ; EXPECT: sat (set-logic AUFNIRA) (set-info :status sat) diff --git a/test/regress/regress0/quantifiers/macro-back-subs-sat.smt2 b/test/regress/regress0/quantifiers/macro-back-subs-sat.smt2 index 34b7422a5..bdb389a63 100644 --- a/test/regress/regress0/quantifiers/macro-back-subs-sat.smt2 +++ b/test/regress/regress0/quantifiers/macro-back-subs-sat.smt2 @@ -1,4 +1,4 @@ -; COMMAND-LINE: --macros-quant +; COMMAND-LINE: --macros-quant -q ; EXPECT: sat (set-logic UFLIA) (declare-fun A (Int) Int) |