projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: daa163e) | patch
Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on some...
authorMorgan Deters <mdeters@gmail.com>
Mon, 6 Jun 2011 21:37:23 +0000 (21:37 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 6 Jun 2011 21:37:23 +0000 (21:37 +0000)
commite64686fed86068e977ac84c5776438935f446f00
tree455592297e26e3ac84a8027db0e70e74dc3ecdc7tree
parentdaa163e694d257ffe8ba7ae8ccb240bcbfb1c276commit | diff
Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on some problems---valgrind gave many complaints): the problem was that calloc() (in the Backtracker) wasn't allocating enough space for the type located at the resulting address.  Resolves bug #263.

Also, some debugging improvements.
src/context/context.h diff | blob | history
src/expr/node_builder.h diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/util/backtrackable.h diff | blob | history
src/util/stats.cpp diff | blob | history