Node* node = new Node(d_nodeManager->mkVar(booleanType));
bool val = true;
- bool data0;
- bool data1;
+ bool data0 = false;
+ bool data1 = false;
BoolAttribute attr;
TS_ASSERT(node->getAttribute(attr, data0));
TS_ASSERT(node->getAttribute(attr, data1));
TS_ASSERT_EQUALS(data1, val);
- bool data2;
- bool data3;
+ bool data2 = false;
+ bool data3 = false;
CDBoolAttribute cdattr;
TS_ASSERT(node->getAttribute(cdattr, data2));
TS_ASSERT_EQUALS(false, data2);
TS_ASSERT(c.hasAttribute(TestFlag1cd()));
// test two-arg version of hasAttribute()
- bool bb;
+ bool bb = false;
Debug("boolattr", "get flag 1 on a (should be F)\n");
TS_ASSERT(a.getAttribute(TestFlag1cd(), bb));
TS_ASSERT(! bb);