From 6e74c46bcfbf48029d17835754fd570f283fb9d8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 13 Apr 2011 22:41:54 -0700
Subject: Enabled new BDD-based reachability engine 'reachy'.

---
 src/bdd/cudd/cuddCompose.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/bdd/cudd')

diff --git a/src/bdd/cudd/cuddCompose.c b/src/bdd/cudd/cuddCompose.c
index e3b2e556..8dd8f8c5 100644
--- a/src/bdd/cudd/cuddCompose.c
+++ b/src/bdd/cudd/cuddCompose.c
@@ -1251,6 +1251,9 @@ cuddBddVarMapRecur(
         return(Cudd_NotCond(res,F != f));
     }
 
+    if ( manager->TimeStop && manager->TimeStop < clock() )
+        return NULL;
+
     /* Split and recur on children of this node. */
     T = cuddBddVarMapRecur(manager,cuddT(F));
     if (T == NULL) return(NULL);
-- 
cgit v1.2.3