Merging in bvprop branch, with proper bit-vector propagation.

This should also fix bug 325. 

1 files changed, 9 insertions, 9 deletions

diff --git a/test/unit/theory/theory_bv_white.h b/test/unit/theory/theory_bv_white.h
index 1a91364a4..bbc7a8f72 100644
--- a/test/unit/theory/theory_bv_white.h
+++ b/test/unit/theory/theory_bv_white.h
@@ -53,23 +53,23 @@ public:
 
 
   void setUp() {
-    d_ctxt = new Context();
-    d_nm = new NodeManager(d_ctxt, NULL);
-    d_scope = new NodeManagerScope(d_nm);
+    // d_ctxt = new Context();
+    // d_nm = new NodeManager(d_ctxt, NULL);
+    // d_scope = new NodeManagerScope(d_nm);
 
   }
 
   void tearDown() {
-    delete d_scope;
-    delete d_nm;
-    delete d_ctxt;
+    // delete d_scope;
+    // delete d_nm;
+    // delete d_ctxt;
   }
 
  
   void testBitblasterCore() {
     // ClauseManager tests 
-    Context* ctx = new Context();
-    Bitblaster* bb = new Bitblaster(ctx); 
+    // Context* ctx = new Context();
+    // Bitblaster* bb = new Bitblaster(ctx); 
     
     // NodeManager* nm = NodeManager::currentNM();
     // TODO: update this
@@ -110,7 +110,7 @@ public:
     // res = bb->solve();
     // TS_ASSERT(res == false); 
     
-    delete bb;    
+    //delete bb;    
     
   }