diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-07-25 23:36:00 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-07-25 23:36:00 +0700 |
| commit | 5776ad07e7247993976bffed4802a5737c456782 (patch) | |
| tree | c2f5010b04364a4a1de5145bf4069f2e028b2e1f | |
| parent | a63319ade8bae79118dab7b8b4c38465ad164cee (diff) | |
| download | abc-5776ad07e7247993976bffed4802a5737c456782.tar.gz abc-5776ad07e7247993976bffed4802a5737c456782.tar.bz2 abc-5776ad07e7247993976bffed4802a5737c456782.zip | |
Preserving boxes after &write.
| -rw-r--r-- | src/aig/gia/giaAiger.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 6cf3e2e7..7d68a485 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -1110,9 +1110,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int Gia_ManTransferMapping( p, pInit ); Gia_ManTransferPacking( p, pInit ); Gia_ManTransferTiming( p, pInit ); - p->vNamesIn = pInit->vNamesIn; pInit->vNamesIn = NULL; - p->vNamesOut = pInit->vNamesOut; pInit->vNamesOut = NULL; - p->nConstrs = pInit->nConstrs; pInit->nConstrs = 0; + p->nConstrs = pInit->nConstrs; } else p = pInit; @@ -1415,9 +1413,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int fclose( pFile ); if ( p != pInit ) { - pInit->pManTime = p->pManTime; p->pManTime = NULL; - pInit->vNamesIn = p->vNamesIn; p->vNamesIn = NULL; - pInit->vNamesOut = p->vNamesOut; p->vNamesOut = NULL; + Gia_ManTransferTiming( pInit, p ); Gia_ManStop( p ); } } |