diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-10 15:28:03 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-10 15:28:03 -0700 |
commit | c7daa8cafd4e8e579046535eb4d1e0a7ce8b0427 (patch) | |
tree | 5eddbbf77926f4a508bd212d8a612f1efa4f21a1 /src/aig/gia | |
parent | 49f2ec22b91512c00f41fdb51dfd18b5af34bd3e (diff) | |
download | abc-c7daa8cafd4e8e579046535eb4d1e0a7ce8b0427.tar.gz abc-c7daa8cafd4e8e579046535eb4d1e0a7ce8b0427.tar.bz2 abc-c7daa8cafd4e8e579046535eb4d1e0a7ce8b0427.zip |
Updating timing info during normalization.
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaAiger.c | 4 |
1 files changed, 3 insertions, 1 deletions
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; |