summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-07-10 17:54:33 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-07-10 17:54:33 -0700
commit9d81b1f4c885598c85abe3e87340f05f8f142728 (patch)
tree450f01cbfbb8dcc8e22d1e22d33363be6dbd6031 /src/aig
parent6003e92edf10f9bc1a4e83e4343f68acc37da555 (diff)
downloadabc-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/aig')
-rw-r--r--src/aig/gia/giaEra2.c5
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 );