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 17:05:03 -08:00
parent 7143ad4d87
commit 7cabc26ebb
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1217,6 +1217,11 @@ Gia_Man_t * Cec_ManLSCorrespondence( Gia_Man_t * pAig, Cec_ParCor_t * pPars )
else else
Cec_ManPrintFlopEquivs( pAig ); Cec_ManPrintFlopEquivs( pAig );
} }
// copy names if present
if ( pAig->vNamesIn )
pNew->vNamesIn = Vec_PtrDupStr( pAig->vNamesIn );
if ( pAig->vNamesOut )
pNew->vNamesOut = Vec_PtrDupStr( pAig->vNamesOut );
return pNew; return pNew;
} }