diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 18:41:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 18:41:18 -0700 |
| commit | 2d1d315eceecf580011eb8f499d020eb60da1597 (patch) | |
| tree | ee00c908071aca389b3b6607450523a98225a9ad /src/aig/gia/giaIf.c | |
| parent | d0a0cf63951e24a6d979af65c58d564254caec70 (diff) | |
| download | abc-2d1d315eceecf580011eb8f499d020eb60da1597.tar.gz abc-2d1d315eceecf580011eb8f499d020eb60da1597.tar.bz2 abc-2d1d315eceecf580011eb8f499d020eb60da1597.zip | |
Supporting edge information during mapping.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index e6e326e3..59afb4da 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -2183,12 +2183,13 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) } else { - int fHashMapping = 1; + int fHashMapping = 0; pNew = Gia_ManPerformMappingInt( p, (If_Par_t *)pp ); Gia_ManTransferTiming( pNew, p ); if ( fHashMapping ) { pNew = Gia_ManDupHashMapping( p = pNew ); + Gia_ManTransferPacking( pNew, p ); Gia_ManTransferTiming( pNew, p ); Gia_ManStop( p ); } |