projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 04db70f)
Fix regression.
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 2 Jun 2017 20:58:02 +0000 (15:58 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 2 Jun 2017 20:58:02 +0000 (15:58 -0500)
test/regress/regress0/arith/mod-simp.smt2 patch | blob | history

diff --git a/test/regress/regress0/arith/mod-simp.smt2 b/test/regress/regress0/arith/mod-simp.smt2
index 1a9c50590d49a694b1e2131c34e81a5d0b1eec5c..7294cd8638d92bdc9527fc5a60be951918bf18e0 100644 (file)
--- a/test/regress/regress0/arith/mod-simp.smt2
+++ b/test/regress/regress0/arith/mod-simp.smt2
@@ -1,3 +1,5 @@
+; COMMAND-LINE: --rewrite-divk
+; EXPECT: unsat
 (set-logic QF_LIA)
 (set-info :status unsat)