projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 956689a) | patch
fix serious regression breakage (segfaults) caused by an off-by-one error in initiali...
authorMorgan Deters <mdeters@gmail.com>
Sat, 26 Feb 2011 21:18:14 +0000 (21:18 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 26 Feb 2011 21:18:14 +0000 (21:18 +0000)
commit5c9af4e1382d32352aae7f8c31795831882931b2
tree08580119dc6ace9db64468c6af4c51e1d0d5b31btree
parent956689a007e6ae107a47a3b5ea4ea683d3bce673commit | diff
fix serious regression breakage (segfaults) caused by an off-by-one error in initialization of the expression variable statistics in last commit
src/expr/expr_manager_template.cpp diff | blob | history