diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-19 22:07:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-19 22:07:52 -0700 |
commit | 2d0a8fb4cbb8907e6733728340995e4f93cde86d (patch) | |
tree | 6cf3952537bc4c7e196d94d75b7060f7fe48c19c /src/opt | |
parent | 07d074fd88603db94cf7f8fa17523dc6de0b1904 (diff) | |
download | abc-2d0a8fb4cbb8907e6733728340995e4f93cde86d.tar.gz abc-2d0a8fb4cbb8907e6733728340995e4f93cde86d.tar.bz2 abc-2d0a8fb4cbb8907e6733728340995e4f93cde86d.zip |
Improving SMT-LIB parser.
Diffstat (limited to 'src/opt')
-rw-r--r-- | src/opt/sfm/sfmArea.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/sfm/sfmArea.c b/src/opt/sfm/sfmArea.c index 87f3b511..f957438e 100644 --- a/src/opt/sfm/sfmArea.c +++ b/src/opt/sfm/sfmArea.c @@ -219,7 +219,7 @@ int Abc_ObjHasDupFanouts( Abc_Obj_t * pObj ) int Abc_ObjChangeEval( Abc_Obj_t * pObj, Vec_Int_t * vInfo, Vec_Int_t * vFirst, int InvArea, int * pfUseInv ) { Abc_Obj_t * pNext; - Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData; + //Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData; int iFanCell, iNodeCell = Mio_GateReadCell( (Mio_Gate_t *)pObj->pData ); int * pFanInfo, * pNodeInfo = Vec_IntEntryP( vInfo, Vec_IntEntry(vFirst, iNodeCell) ); int i, fNeedInv = 0, Gain = 0, iFanin = Abc_ObjFaninNum(pObj), fUseInv = Abc_NodeIsInv(pObj); @@ -267,7 +267,7 @@ int Abc_ObjChangeEval( Abc_Obj_t * pObj, Vec_Int_t * vInfo, Vec_Int_t * vFirst, void Abc_ObjChangeUpdate( Abc_Obj_t * pObj, int iFanin, Mio_Cell2_t * pCells, int * pNodeInfo, Vec_Int_t * vTemp ) { int v, Perm, iNodeCell = pNodeInfo[3*iFanin]; - Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData; + //Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData; //Abc_ObjPrint( stdout, pObj ); //printf( "Replacing fanout %d with %s by %s with fanin %d.\n", Abc_ObjId(pObj), Mio_GateReadName(pGate), Mio_GateReadName((Mio_Gate_t *)pCells[iNodeCell].pMioGate), iFanin ); pObj->pData = (Mio_Gate_t *)pCells[iNodeCell].pMioGate; |