diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-10 17:54:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-10 17:54:33 -0700 |
| commit | 9d81b1f4c885598c85abe3e87340f05f8f142728 (patch) | |
| tree | 450f01cbfbb8dcc8e22d1e22d33363be6dbd6031 /src | |
| parent | 6003e92edf10f9bc1a4e83e4343f68acc37da555 (diff) | |
| download | abc-9d81b1f4c885598c85abe3e87340f05f8f142728.tar.gz abc-9d81b1f4c885598c85abe3e87340f05f8f142728.tar.bz2 abc-9d81b1f4c885598c85abe3e87340f05f8f142728.zip | |
Fix to &era to skip synthesis and print verbose output more often.
Diffstat (limited to 'src')
| -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 ); |