From 5776ad07e7247993976bffed4802a5737c456782 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 25 Jul 2019 23:36:00 +0700 Subject: Preserving boxes after &write. --- src/aig/gia/giaAiger.c | 8 ++------ 1 file 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 ); } } -- cgit v1.2.3