projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cc7c61) | patch
Test that breaks arithmetic model building due to disequality terms.
authorTim King <taking@cs.nyu.edu>
Fri, 9 Nov 2012 21:05:43 +0000 (21:05 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 9 Nov 2012 21:05:43 +0000 (21:05 +0000)
commitfc163356c3bcc6e21bbb52e0e7de719817138eb7
tree0e0d202f83f65843c9fa41bda60430c36787e17etree
parent3cc7c610a84a29f97a206227d85efbb9a77fda9fcommit | diff
Test that breaks arithmetic model building due to disequality terms.
test/regress/regress0/uflra/neq-deltacomp.smt [new file with mode: 0644] blob