diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-01-13 12:38:59 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-01-13 12:38:59 -0800 |
commit | ae4b51351c93983a1285ce1028e3bbd90a6d5721 (patch) | |
tree | b06797a1771bb1c79124f2ac7d57f1a54c9afc34 /src/aig/llb | |
parent | f4066b5be3b5473f5c64ab71d1983df6ca7aec76 (diff) | |
download | abc-ae4b51351c93983a1285ce1028e3bbd90a6d5721.tar.gz abc-ae4b51351c93983a1285ce1028e3bbd90a6d5721.tar.bz2 abc-ae4b51351c93983a1285ce1028e3bbd90a6d5721.zip |
Cumulative changes in the last few weeks.
Diffstat (limited to 'src/aig/llb')
-rw-r--r-- | src/aig/llb/llbCore.c | 2 | ||||
-rw-r--r-- | src/aig/llb/llbReach.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/llb/llbCore.c b/src/aig/llb/llbCore.c index 562a9800..cbd527e2 100644 --- a/src/aig/llb/llbCore.c +++ b/src/aig/llb/llbCore.c @@ -48,7 +48,7 @@ void Llb_ManSetDefaultParams( Gia_ParLlb_t * p ) { memset( p, 0, sizeof(Gia_ParLlb_t) ); p->nBddMax = 1000000; - p->nIterMax = 1000; + p->nIterMax = 10000000; p->nClusterMax = 20; p->nHintDepth = 0; p->HintFirst = 0; diff --git a/src/aig/llb/llbReach.c b/src/aig/llb/llbReach.c index 7c12a88c..76ee7147 100644 --- a/src/aig/llb/llbReach.c +++ b/src/aig/llb/llbReach.c @@ -575,7 +575,7 @@ int Llb_ManReachability( Llb_Man_t * p, Vec_Int_t * vHints, DdManager ** pddGlo Cudd_RecursiveDeref( p->dd, bConstrNs ); bConstrNs = NULL; if ( bReached == NULL ) return 0; // reachable - assert( bCurrent == NULL ); +// assert( bCurrent == NULL ); if ( bCurrent ) Cudd_RecursiveDeref( p->dd, bCurrent ); // report the stats |