diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-05 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-05 08:01:00 -0800 |
| commit | 8bd19a27bf2f50b7502d01bbbbe71714c154cd2f (patch) | |
| tree | b36f9f438158f8d95e932728ab4af809a63838d1 /src/aig/fra/fraCore.c | |
| parent | 320c429bc46728c1faddfc561c166810aa134a04 (diff) | |
| download | abc-8bd19a27bf2f50b7502d01bbbbe71714c154cd2f.tar.gz abc-8bd19a27bf2f50b7502d01bbbbe71714c154cd2f.tar.bz2 abc-8bd19a27bf2f50b7502d01bbbbe71714c154cd2f.zip | |
Version abc80305
Diffstat (limited to 'src/aig/fra/fraCore.c')
| -rw-r--r-- | src/aig/fra/fraCore.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/aig/fra/fraCore.c b/src/aig/fra/fraCore.c index 0a81105b..67940c4f 100644 --- a/src/aig/fra/fraCore.c +++ b/src/aig/fra/fraCore.c @@ -328,6 +328,8 @@ void Fra_FraigSweep( Fra_Man_t * p ) // quit if simulation detected a counter-example for a PO if ( p->pManFraig->pData ) continue; +// if ( Aig_SupportSize(p->pManAig,pObj) > 16 ) +// continue; // perform fraiging if ( p->pPars->nLevelMax && (int)pObj->Level > p->pPars->nLevelMax ) p->pPars->nBTLimitNode = 5; @@ -381,6 +383,8 @@ clk = clock(); p->nNodesBeg = Aig_ManNodeNum(pManAig); p->nRegsBeg = Aig_ManRegNum(pManAig); // perform fraig sweep +if ( p->pPars->fVerbose ) +Fra_ClassesPrint( p->pCla, 1 ); Fra_FraigSweep( p ); // call back the procedure to check implications if ( pManAig->pImpFunc ) |