diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-04 17:08:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-04 17:08:01 -0800 |
| commit | bb33b5978ab3928bd8335e7e72cdc5e7077435eb (patch) | |
| tree | 65026899a95fa516a2a8122b7047cadd40412f53 /src/base/acb | |
| parent | 451f2b0cd76e8608dfcbed42946446422bfc2031 (diff) | |
| download | abc-bb33b5978ab3928bd8335e7e72cdc5e7077435eb.tar.gz abc-bb33b5978ab3928bd8335e7e72cdc5e7077435eb.tar.bz2 abc-bb33b5978ab3928bd8335e7e72cdc5e7077435eb.zip | |
Small changes.
Diffstat (limited to 'src/base/acb')
| -rw-r--r-- | src/base/acb/acbUtil.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index 1b6f1039..89163770 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -596,6 +596,12 @@ Vec_Int_t * Acb_NtkCollectCopies( Acb_Ntk_t * p, Gia_Man_t * pGia, Vec_Ptr_t ** Vec_IntPush( vNodes, Abc_Lit2Var(iLit) ); } } + // create POs + Gia_ManForEachCoId( pGia, iObj, i ) + { + Vec_PtrWriteEntry( vNodesR, iObj, Abc_UtilStrsav(Acb_ObjNameStr(p, Acb_NtkCo(p, i))) ); + Vec_IntPush( vNodes, iObj ); + } Vec_IntFree( vObjs ); Vec_IntSort( vNodes, 0 ); *pvNodesR = vNodesR; @@ -686,7 +692,7 @@ Vec_Int_t * Acb_NtkPlaces( char * pFileName, Vec_Ptr_t * vNames ) First = 0; else { - char * pToken = strtok( pTemp+1, " \n\r\t" ); + char * pToken = strtok( pTemp+1, " \n\r\t," ); char * pName; int i; Vec_PtrForEachEntry( char *, vNames, pName, i ) if ( !strcmp(pName, pToken) ) @@ -764,7 +770,7 @@ void Acb_NtkRunSim( char * pFileName[4], int nWords, int fOrder, int fVerbose ) extern void Acb_NtkRunEco( char * pFileNames[4], int fCheck, int fVerbose ); char * pFileNames[4] = { pFileName[2], pFileName[1], NULL, pFileName[2] }; if ( Gia_Sim4Try( pFileName[0], pFileName[1], pFileName[2], nWords, fOrder, fVerbose ) ) - Acb_NtkRunEco( pFileNames, 0, fVerbose ); + Acb_NtkRunEco( pFileNames, 1, fVerbose ); } |