diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-05 22:06:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-05 22:06:29 -0700 |
| commit | efe5d1476af9e99c7a246d6d4de91abbc4274359 (patch) | |
| tree | a0b49b799ac687cdbf0d8101041de6a66bb932b3 /src | |
| parent | 70b11df92619d717df86a23325012eb78dfa668d (diff) | |
| download | abc-efe5d1476af9e99c7a246d6d4de91abbc4274359.tar.gz abc-efe5d1476af9e99c7a246d6d4de91abbc4274359.tar.bz2 abc-efe5d1476af9e99c7a246d6d4de91abbc4274359.zip | |
Adding stand-alone cut computation to GIA.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaCut.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaCut.c b/src/aig/gia/giaCut.c index 56424124..f70f0fc0 100644 --- a/src/aig/gia/giaCut.c +++ b/src/aig/gia/giaCut.c @@ -631,7 +631,7 @@ void Gia_StoComputeCuts( Gia_Man_t * pGia ) printf( "Cut/Node = %.2f ", p->CutCount[3] / Gia_ManAndNum(p->pGia) ); printf( "\n" ); printf( "The number of nodes with cut count over the limit (%d cuts) = %d nodes (out of %d). ", - p->nCutSize, p->nCutsOver, Gia_ManAndNum(pGia) ); + p->nCutNum, p->nCutsOver, Gia_ManAndNum(pGia) ); Abc_PrintTime( 0, "Time", Abc_Clock() - p->clkStart ); } Gia_StoFree( p ); |