From c7daa8cafd4e8e579046535eb4d1e0a7ce8b0427 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 10 Sep 2014 15:28:03 -0700 Subject: Updating timing info during normalization. --- src/aig/gia/giaAiger.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 2fae2e34..21b63cee 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -25,7 +25,7 @@ ABC_NAMESPACE_IMPL_START -#define XAIG_VERBOSE 0 +#define XAIG_VERBOSE 1 //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -1038,6 +1038,8 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int { // printf( "Gia_AigerWrite(): Normalizing AIG for writing.\n" ); p = Gia_ManDupNormalize( pInit ); + 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; -- cgit v1.2.3