1 files changed, 5 insertions, 0 deletions
diff --git a/src/bdd/cudd/cuddBridge.c b/src/bdd/cudd/cuddBridge.c
index d0f96a2f..97a6f393 100644
--- a/src/bdd/cudd/cuddBridge.c
+++ b/src/bdd/cudd/cuddBridge.c
@@ -975,6 +975,11 @@ cuddBddTransferRecur(
     /* Check the cache. */
     if (st_lookup(table, (const char *)f, (char **)&res))
         return(Cudd_NotCond(res,comple));
+
+    if ( ddS->TimeStop && ddS->TimeStop < clock() )
+        return NULL;
+    if ( ddD->TimeStop && ddD->TimeStop < clock() )
+        return NULL;
     
     /* Recursive step. */
     index = f->index;