projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b7a6d2) | patch
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)
commit55aa6ae68bc1e4d8f8dc2a7a11fae477cdd95a32
treed2b4df86fbc9f31292b7aa06e162e4c0e6ffb787tree
parent2b7a6d2f2bcb26c0b5641bf7d0258c9fc9796c17commit | diff
Fixing the test case, it had a unary or. The cnf converter should be adapted to handle cases like this.
test/regress/regress3/comb2.shuffled-as.sat03-420.smt diff | blob | history