projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2b7a6d2)
Fixing the test case, it had a unary or. The cnf converter should be adapted to handl...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 8 Feb 2010 18:47:21 +0000 (18:47 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 8 Feb 2010 18:47:21 +0000 (18:47 +0000)
test/regress/regress3/comb2.shuffled-as.sat03-420.smt patch | blob | history

diff --git a/test/regress/regress3/comb2.shuffled-as.sat03-420.smt b/test/regress/regress3/comb2.shuffled-as.sat03-420.smt
index 19d6e6e240d936be11c95d3b1d89edd71983faad..b1d9309a3a36d1d4539afdf58ee59d94be88f60f 100644 (file)
--- a/test/regress/regress3/comb2.shuffled-as.sat03-420.smt
+++ b/test/regress/regress3/comb2.shuffled-as.sat03-420.smt
@@ -141963,7 +141963,7 @@
 :assumption (or x29226 x31829)
 :assumption (or x23991 (not x24837))
 :assumption (or (not x14986) x23755)
-:assumption (or (not x30806))
+:assumption (not x30806)
 :assumption (or (not x14192) (not x20229))
 :assumption (or x4259 (not x10154))
 :assumption (or (not x20740) (not x1847))