diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-02-18 17:05:03 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-02-18 17:05:03 -0800 |
| commit | 7cabc26ebb7b63ec6805f2345faa2a8ae3430d52 (patch) | |
| tree | 85bd555bc17d70de77f47cdcb1fd8edaed0f8f1f /src/proof | |
| parent | 7143ad4d877544709de64cd6386bc9596132dab7 (diff) | |
| download | abc-7cabc26ebb7b63ec6805f2345faa2a8ae3430d52.tar.gz abc-7cabc26ebb7b63ec6805f2345faa2a8ae3430d52.tar.bz2 abc-7cabc26ebb7b63ec6805f2345faa2a8ae3430d52.zip | |
Passing names in &scorr.
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/cec/cecCorr.c | 5 |
1 files changed, 5 insertions, 0 deletions
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; } |