projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8dc7588) | patch
very small fast example for the bv fail
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 8 Jun 2012 20:00:13 +0000 (20:00 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 8 Jun 2012 20:00:13 +0000 (20:00 +0000)
commitdbbca593b8724a03f9cd018a00af4ef7e20dfa8b
treee60a5e3cca725f05a02cc6de56d28e266084c43ctree
parent8dc75886675e5fbb893b80b1c26159eff7c5103fcommit | diff
very small fast example for the bv fail
test/regress/regress0/bv/fuzz15.delta01.smt [new file with mode: 0644] blob