luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Passing names in &scorr.

This commit is contained in:
Alan Mishchenko 2019-02-18 18:25:08 -08:00
parent 7cabc26ebb
commit e6f64162b1
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/proof/cec/cecCorr.c
View File

@ -1219,9 +1219,21 @@ Gia_Man_t * Cec_ManLSCorrespondence( Gia_Man_t * pAig, Cec_ParCor_t * pPars )
}
// copy names if present
if ( pAig->vNamesIn )
{
char * pName; int i;
pNew->vNamesIn = Vec_PtrDupStr( pAig->vNamesIn );
Vec_PtrForEachEntryStart( char *, pNew->vNamesIn, pName, i, Gia_ManCiNum(pNew) )
ABC_FREE( pName );
Vec_PtrShrink( pNew->vNamesIn, Gia_ManCiNum(pNew) );
}
if ( pAig->vNamesOut )
{
char * pName; int i;
pNew->vNamesOut = Vec_PtrDupStr( pAig->vNamesOut );
Vec_PtrForEachEntryStart( char *, pNew->vNamesOut, pName, i, Gia_ManCoNum(pNew) )
ABC_FREE( pName );
Vec_PtrShrink( pNew->vNamesOut, Gia_ManCoNum(pNew) );
}
return pNew;
}