From: Tim King <taking@cs.nyu.edu>
Date: Mon, 2 Apr 2012 22:49:39 +0000 (+0000)
Subject: Fix for broken unit tests from the previous commit.
X-Git-Tag: cvc5-1.0.0~8245
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5ca6471b95ee239a8ef2fcedd8efa9ea75a3a260;p=cvc5.git

Fix for broken unit tests from the previous commit.
---

diff --git a/test/unit/context/cdlist_black.h b/test/unit/context/cdlist_black.h
index ccdbb210b..2e2258716 100644
--- a/test/unit/context/cdlist_black.h
+++ b/test/unit/context/cdlist_black.h
@@ -57,12 +57,12 @@ public:
 
   // test at different sizes.  this triggers grow() behavior differently.
   // grow() was completely broken in revision 256
-  void testCDList_BE10() { listTest(10); }
-  void testCDList_BE15() { listTest(15); }
-  void testCDList_BE20() { listTest(20); }
-  void testCDList_BE35() { listTest(35); }
-  void testCDList_BE50() { listTest(50); }
-  void testCDList_BE99() { listTest(99); }
+  void testCDList10() { listTest(10); }
+  void testCDList15() { listTest(15); }
+  void testCDList20() { listTest(20); }
+  void testCDList35() { listTest(35); }
+  void testCDList50() { listTest(50); }
+  void testCDList99() { listTest(99); }
 
   void listTest(int N) {
     listTest(N, true);
@@ -70,7 +70,7 @@ public:
   }
 
   void listTest(int N, bool callDestructor) {
-    CDList_BE<int> list(d_context, callDestructor);
+    CDList<int> list(d_context, callDestructor);
 
     TS_ASSERT(list.empty());
     for(int i = 0; i < N; ++i) {
@@ -79,7 +79,7 @@ public:
       TS_ASSERT(!list.empty());
       TS_ASSERT_EQUALS(list.back(), i);
       int i2 = 0;
-      for(CDList_BE<int>::const_iterator j = list.begin();
+      for(CDList<int>::const_iterator j = list.begin();
           j != list.end();
           ++j) {
         TS_ASSERT_EQUALS(*j, i2++);
@@ -99,8 +99,8 @@ public:
     bool shouldAlsoRemainFalse = false;
     bool aThirdFalse = false;
 
-    CDList_BE<DtorSensitiveObject> listT(d_context, true);
-    CDList_BE<DtorSensitiveObject> listF(d_context, false);
+    CDList<DtorSensitiveObject> listT(d_context, true);
+    CDList<DtorSensitiveObject> listF(d_context, false);
 
     DtorSensitiveObject shouldRemainFalseDSO(shouldRemainFalse);
     DtorSensitiveObject shouldFlipToTrueDSO(shouldFlipToTrue);
@@ -136,7 +136,7 @@ public:
   }
 
   void testEmptyIterator() {
-    CDList_BE<int>* list = new(true) CDList_BE<int>(d_context);
+    CDList<int>* list = new(true) CDList<int>(d_context);
     TS_ASSERT_EQUALS(list->begin(), list->end());
     list->deleteSelf();
   }
@@ -149,7 +149,7 @@ public:
 
 #else /* __APPLE__ */
 
-    CDList_BE<unsigned> list(d_context);
+    CDList<unsigned> list(d_context);
     WithLimitedMemory wlm(1);
 
     TS_ASSERT_THROWS({
diff --git a/test/unit/context/cdmap_black.h b/test/unit/context/cdmap_black.h
index 281d814aa..0358d1edd 100644
--- a/test/unit/context/cdmap_black.h
+++ b/test/unit/context/cdmap_black.h
@@ -933,9 +933,9 @@ public:
     //Debug.on("gc");
     //Debug.on("context");
 
-    CDHashMap<int, CDList_BE<myint>*, int_hasher> map(d_context);
+    CDHashMap<int, CDList<myint>*, int_hasher> map(d_context);
 
-    CDList_BE<myint> *list1, *list2, *list3, *list4;
+    CDList<myint> *list1, *list2, *list3, *list4;
 
     TS_ASSERT(map.find(1) == map.end());
     TS_ASSERT(map.find(2) == map.end());
@@ -947,10 +947,10 @@ public:
 
       int* x = (int*) d_context->getCMM()->newData(sizeof(int));
 
-      list1 = new(d_context->getCMM()) CDList_BE<myint>(true, d_context);
-      list2 = new(d_context->getCMM()) CDList_BE<myint>(true, d_context);
-      list3 = new(d_context->getCMM()) CDList_BE<myint>(true, d_context);
-      list4 = new(d_context->getCMM()) CDList_BE<myint>(true, d_context);
+      list1 = new(d_context->getCMM()) CDList<myint>(true, d_context);
+      list2 = new(d_context->getCMM()) CDList<myint>(true, d_context);
+      list3 = new(d_context->getCMM()) CDList<myint>(true, d_context);
+      list4 = new(d_context->getCMM()) CDList<myint>(true, d_context);
 
       list1->push_back(1);
       list2->push_back(2);