projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7146e9e) | patch
In the constructor of DecisionEngine, there were 2 pointers that were assumed to...
authorTim King <taking@cs.nyu.edu>
Thu, 19 Apr 2012 18:36:02 +0000 (18:36 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 19 Apr 2012 18:36:02 +0000 (18:36 +0000)
commitb0c2cebecbd6b7d2a7804cf5dcc92bb8a27b1857
treef4bd15426b117c2ee6f01e97ccab26abb6eda711tree
parent7146e9ecb023d10f84747eaac93656b4e7661c54commit | diff
In the constructor of DecisionEngine, there were 2 pointers that were assumed to be initialized to NULL. This is not true on all platforms. This is now done explicitly.  Macs builds should now work again.
src/decision/decision_engine.cpp diff | blob | history