diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:59 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:59 -0700 |
commit | da65e88e3b346bcd70198b980e918ea9f1e11b4e (patch) | |
tree | ce660cd8d798ddd41787322db32e6ae21b2ceb11 /src/aig/cec/cecClass.c | |
parent | 270f6db24625e4838dcafe7d45e69cc9522d703e (diff) | |
download | abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.tar.gz abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.tar.bz2 abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.zip |
Version abc90804
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/aig/cec/cecClass.c')
-rw-r--r-- | src/aig/cec/cecClass.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/aig/cec/cecClass.c b/src/aig/cec/cecClass.c index fd723f30..749f7f71 100644 --- a/src/aig/cec/cecClass.c +++ b/src/aig/cec/cecClass.c @@ -545,7 +545,7 @@ void Cec_ManSimSavePattern( Cec_ManSim_t * p, int iPat ) void Cec_ManSimFindBestPattern( Cec_ManSim_t * p ) { unsigned * pInfo; - int i, ScoreBest = 0, iPatBest = 1; + int i, ScoreBest = 0, iPatBest = 1; // set the first pattern // find the best pattern for ( i = 0; i < 32 * p->nWords; i++ ) if ( ScoreBest < p->pScores[i] ) @@ -588,8 +588,8 @@ int Cec_ManSimAnalyzeOutputs( Cec_ManSim_t * p ) // compare outputs with 0 if ( p->pPars->fDualOut ) { - assert( (Gia_ManCoNum(p->pAig) & 1) == 0 ); - for ( i = 0; i < Gia_ManCoNum(p->pAig); i++ ) + assert( (Gia_ManPoNum(p->pAig) & 1) == 0 ); + for ( i = 0; i < Gia_ManPoNum(p->pAig); i++ ) { pInfo = Vec_PtrEntry( p->vCoSimInfo, i ); pInfo2 = Vec_PtrEntry( p->vCoSimInfo, ++i ); @@ -601,7 +601,7 @@ int Cec_ManSimAnalyzeOutputs( Cec_ManSim_t * p ) Cec_ManSimSavePattern( p, Cec_ManSimCompareEqualFirstBit(pInfo, pInfo2, p->nWords) ); } if ( p->pCexes == NULL ) - p->pCexes = ABC_CALLOC( void *, Gia_ManCoNum(p->pAig)/2 ); + p->pCexes = ABC_CALLOC( void *, Gia_ManPoNum(p->pAig)/2 ); if ( p->pCexes[i/2] == NULL ) { p->nOuts++; @@ -612,7 +612,7 @@ int Cec_ManSimAnalyzeOutputs( Cec_ManSim_t * p ) } else { - for ( i = 0; i < Gia_ManCoNum(p->pAig); i++ ) + for ( i = 0; i < Gia_ManPoNum(p->pAig); i++ ) { pInfo = Vec_PtrEntry( p->vCoSimInfo, i ); if ( !Cec_ManSimCompareConst( pInfo, p->nWords ) ) @@ -623,7 +623,7 @@ int Cec_ManSimAnalyzeOutputs( Cec_ManSim_t * p ) Cec_ManSimSavePattern( p, Cec_ManSimCompareConstFirstBit(pInfo, p->nWords) ); } if ( p->pCexes == NULL ) - p->pCexes = ABC_CALLOC( void *, Gia_ManCoNum(p->pAig) ); + p->pCexes = ABC_CALLOC( void *, Gia_ManPoNum(p->pAig) ); if ( p->pCexes[i] == NULL ) { p->nOuts++; @@ -632,7 +632,7 @@ int Cec_ManSimAnalyzeOutputs( Cec_ManSim_t * p ) } } } - return p->pCexes != NULL && p->pPars->fFirstStop; + return p->pCexes != NULL; } /**Function************************************************************* |