projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2537506) | patch
added reduced bv model failing test case
authorLiana Hadarean <lianahady@gmail.com>
Mon, 8 Oct 2012 20:51:03 +0000 (20:51 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Mon, 8 Oct 2012 20:51:03 +0000 (20:51 +0000)
commitffda058e93ac699b1649a87f15418f645bb13312
tree6b84f15a8661164874ebcc3d693c6040d86c1605tree
parent25375067383e9c6b48ff5ec7053894987d26c331commit | diff
added reduced bv model failing test case
test/regress/regress0/bv/fuzz07-delta.smt [new file with mode: 0644] blob