diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-13 08:01:00 -0700 |
| commit | 77fab468ad32d15de5c065c211f6f74371670940 (patch) | |
| tree | 2a39a0480942bb597048513f72b2a23b0fcacde8 /src/aig/cec | |
| parent | ccd1b57264d3bf1514410747cdcf6e4731ac7f2a (diff) | |
| download | abc-77fab468ad32d15de5c065c211f6f74371670940.tar.gz abc-77fab468ad32d15de5c065c211f6f74371670940.tar.bz2 abc-77fab468ad32d15de5c065c211f6f74371670940.zip | |
Version abc90413
Diffstat (limited to 'src/aig/cec')
| -rw-r--r-- | src/aig/cec/cecClass.c | 2 | ||||
| -rw-r--r-- | src/aig/cec/cecMan.c | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/cec/cecClass.c b/src/aig/cec/cecClass.c index 5a52e913..cd3ce7b9 100644 --- a/src/aig/cec/cecClass.c +++ b/src/aig/cec/cecClass.c @@ -711,6 +711,7 @@ int Cec_ManSimSimulateRound( Cec_ManSim_t * p, Vec_Ptr_t * vInfoCis, Vec_Ptr_t * pRes = Cec_ManSimSimRef( p, i ); pRes0 = Cec_ManSimSimDeref( p, Gia_ObjFaninId0(pObj,i) ); pRes1 = Cec_ManSimSimDeref( p, Gia_ObjFaninId1(pObj,i) ); + if ( Gia_ObjFaninC0(pObj) ) { if ( Gia_ObjFaninC1(pObj) ) @@ -729,6 +730,7 @@ int Cec_ManSimSimulateRound( Cec_ManSim_t * p, Vec_Ptr_t * vInfoCis, Vec_Ptr_t * for ( w = 1; w <= p->nWords; w++ ) pRes[w] = pRes0[w] & pRes1[w]; } + references: // if this node is candidate constant, collect it if ( Gia_ObjIsConst(p->pAig, i) && !Cec_ManSimCompareConst(pRes + 1, p->nWords) ) diff --git a/src/aig/cec/cecMan.c b/src/aig/cec/cecMan.c index eb582e4c..de71ecc9 100644 --- a/src/aig/cec/cecMan.c +++ b/src/aig/cec/cecMan.c @@ -70,7 +70,8 @@ Cec_ManSat_t * Cec_ManSatCreate( Gia_Man_t * pAig, Cec_ParSat_t * pPars ) ***********************************************************************/ void Cec_ManSatPrintStats( Cec_ManSat_t * p ) { - printf( "CO = %6d ", Gia_ManCoNum(p->pAig) ); + printf( "CO = %8d ", Gia_ManCoNum(p->pAig) ); + printf( "AND = %8d ", Gia_ManAndNum(p->pAig) ); printf( "Conf = %5d ", p->pPars->nBTLimit ); printf( "MinVar = %5d ", p->pPars->nSatVarMax ); printf( "MinCalls = %5d\n", p->pPars->nCallsRecycle ); |