* test/unit/context/cdlist_black.h: comment fix
}
// test at different sizes. this triggers grow() behavior differently.
- // grow() is completely broken in revision 256; fix forthcoming by Tim
+ // grow() was completely broken in revision 256
void testCDList10() { listTest(10); }
void testCDList15() { listTest(15); }
void testCDList20() { listTest(20); }
d_context = new Context;
}
+ void tearDown() {
+ delete d_context;
+ }
+
void testIntCDO() {
// Test that push/pop maintains the original value
CDO<int> a1(d_context);
#endif /* CVC4_ASSERTIONS */
}
- void tearDown() {
- delete d_context;
+ void testDtor() {
+ // Destruction of ContextObj was broken in revision 324 (bug #45) when
+ // at a higher context level with an intervening modification.
+ // (The following caused a "pure virtual method called" error.)
+ CDO<int> i(d_context);
+ d_context->push();
+ i = 5;
}
};