diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-12-01 14:36:14 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-12-01 14:36:14 +0000 |
| commit | ec29471e427bf25034a93c182b424730d439a90a (patch) | |
| tree | f4ddc215f2e78b72fdff2fa62fc8561b7dec84be /src/expr/node_manager.cpp | |
| parent | 265765c9f5c35c4b65934e574dbfabab97b15f7a (diff) | |
Fix the way abstract values are typed; fixes some compliance issues.
Also support array-store-all for Boolean terms (related to abstract values, since that's the only way for the user to include an array-store-all in an assertion).
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/expr/node_manager.cpp')
| -rw-r--r-- | src/expr/node_manager.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index f040c7c72..59d23c6ea 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -86,7 +86,8 @@ NodeManager::NodeManager(context::Context* ctxt, d_attrManager(ctxt), d_exprManager(exprManager), d_nodeUnderDeletion(NULL), - d_inReclaimZombies(false) { + d_inReclaimZombies(false), + d_abstractValueCount(0) { init(); } @@ -99,7 +100,8 @@ NodeManager::NodeManager(context::Context* ctxt, d_attrManager(ctxt), d_exprManager(exprManager), d_nodeUnderDeletion(NULL), - d_inReclaimZombies(false) { + d_inReclaimZombies(false), + d_abstractValueCount(0) { init(); } |