From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 6 Jul 2010 20:19:34 +0000 (+0000)
Subject: Don't eagerly collect zombies.  This should speed up things for competition but might... 
X-Git-Tag: cvc5-1.0.0~8935
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2db22ffd1f48502a2b138b9b99ba2841a581313b;p=cvc5.git

Don't eagerly collect zombies.  This should speed up things for competition but might flush out some memory issues.  Passes all regressions so far..
---

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 4d796d81c..d01e22abd 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -191,7 +191,9 @@ class NodeManager {
 
     if(!d_inReclaimZombies) {// FIXME multithreading
       // for now, collect eagerly.  can add heuristic here later..
-      reclaimZombies();
+      if(d_zombies.size() > 5000) {
+        reclaimZombies();
+      }
     }
   }