Additional change to enable runtime limit in CUDD in variable reordering.

ed253df7 · Alan Mishchenko · 46075098 · ed253df7
Commit ed253df7 authored Feb 08, 2011 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/bdd/cudd/cuddInit.c
+1 -0

No files found.
--- a/src/bdd/cudd/cuddInit.c
+++ b/src/bdd/cudd/cuddInit.c
@@ -176,6 +176,7 @@ Cudd_Init(

    unique->bFunc = NULL;
    unique->bFunc2 = NULL;
+    unique->TimeStop = 0;
    return(unique);

 } /* end of Cudd_Init */