projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c428c8) | patch
mark the new minimized benchmark as unsat
authorMorgan Deters <mdeters@gmail.com>
Mon, 11 Jul 2011 18:50:44 +0000 (18:50 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 11 Jul 2011 18:50:44 +0000 (18:50 +0000)
commitfb28f98f229c281c8d3e074f1d0d8784574fefa6
tree7f9b05ae408df8cca96ad02965c0c57c4634214atree
parent4c428c8f74ae913f05287c0595c8887c31089520commit | diff
mark the new minimized benchmark as unsat
test/regress/regress0/arrays/incorrect8.minimized.smt diff | blob | history