projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ac27cd) | patch
fixed seg fault when bv equality is turned off
authorLiana Hadarean <lianahady@gmail.com>
Tue, 16 Jul 2013 22:59:31 +0000 (17:59 -0500)
committerLiana Hadarean <lianahady@gmail.com>
Tue, 16 Jul 2013 22:59:31 +0000 (17:59 -0500)
commitcffc449795c777217c6412998c7900ad80c389e8
tree88eb1604e6af89fdc0ba0b79e41d562eab7cb7edtree
parent0ac27cd827035835a176a7e599530231386412cbcommit | diff
fixed seg fault when bv equality is turned off
src/theory/bv/theory_bv.cpp diff | blob | history