diff options
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaEra2.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/aig/gia/giaEra2.c b/src/aig/gia/giaEra2.c index b8ca65cc..82c1c22f 100644 --- a/src/aig/gia/giaEra2.c +++ b/src/aig/gia/giaEra2.c @@ -1713,7 +1713,8 @@ int Gia_ManArePerform( Gia_Man_t * pAig, int nStatesMax, int fMiter, int fVerbos return -1; } ABC_FREE( pAig->pCexSeq ); - p = Gia_ManAreCreate( Gia_ManCompress2(pAig, 0, 0) ); +// p = Gia_ManAreCreate( Gia_ManCompress2(pAig, 0, 0) ); + p = Gia_ManAreCreate( Gia_ManDup(pAig) ); p->fMiter = fMiter; Gia_ManAreCubeProcess( p, Gia_ManAreCreateStaInit(p) ); for ( p->iStaCur = 1; p->iStaCur < p->nStas; p->iStaCur++ ) @@ -1726,7 +1727,7 @@ int Gia_ManArePerform( Gia_Man_t * pAig, int nStatesMax, int fMiter, int fVerbos RetValue = -1; break; } - if ( fVerbose && p->iStaCur % 5000 == 0 ) + if ( fVerbose )//&& p->iStaCur % 5000 == 0 ) Gia_ManArePrintReport( p, clk, 0 ); } Gia_ManArePrintReport( p, clk, 1 ); |