From 7cabc26ebb7b63ec6805f2345faa2a8ae3430d52 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 18 Feb 2019 17:05:03 -0800 Subject: Passing names in &scorr. --- src/proof/cec/cecCorr.c | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src') diff --git a/src/proof/cec/cecCorr.c b/src/proof/cec/cecCorr.c index fdc60299..eb5cd1aa 100644 --- a/src/proof/cec/cecCorr.c +++ b/src/proof/cec/cecCorr.c @@ -1217,6 +1217,11 @@ Gia_Man_t * Cec_ManLSCorrespondence( Gia_Man_t * pAig, Cec_ParCor_t * pPars ) else 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; } -- cgit v1.2.3