diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:43 -0700 |
| commit | 70697f868a263930e971c062e5b46e64fbb1ee18 (patch) | |
| tree | 7ecd062ec16b58d5a625fe3591589728f705814c /src/aig/nwk | |
| parent | d5b0fdee741dbc64bcfe75c54420219a7cbeac1a (diff) | |
| download | abc-70697f868a263930e971c062e5b46e64fbb1ee18.tar.gz abc-70697f868a263930e971c062e5b46e64fbb1ee18.tar.bz2 abc-70697f868a263930e971c062e5b46e64fbb1ee18.zip | |
Version abc90528
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/aig/nwk')
| -rw-r--r-- | src/aig/nwk/nwkUtil.c | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/aig/nwk/nwkUtil.c b/src/aig/nwk/nwkUtil.c index 12a72e2f..10b7b462 100644 --- a/src/aig/nwk/nwkUtil.c +++ b/src/aig/nwk/nwkUtil.c @@ -518,21 +518,9 @@ void Nwk_ManMinimumBase( Nwk_Man_t * pNtk, int fVerbose ) Vec_Int_t * vTruth; Nwk_Obj_t * pObj; int i, Counter = 0; - Nwk_Obj_t * pNodeThis = pNtk->vObjs->pArray[72688]; - vTruth = Vec_IntAlloc( 1 << 16 ); Nwk_ManForEachNode( pNtk, pObj, i ) - { - if ( i == 641386 ) - { - int x = 0; - } Counter += Nwk_ManMinimumBaseNode( pObj, vTruth, fVerbose ); - if ( pNodeThis->nFanouts != 15 ) - { - int s = 0; - } - } if ( fVerbose && Counter ) printf( "Support minimization reduced support of %d nodes.\n", Counter ); Vec_IntFree( vTruth ); |