diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-09-18 19:11:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-09-18 19:11:52 -0700 |
| commit | 2ef79300ef5efb3f147086497469e5b06f050fae (patch) | |
| tree | c40bc3ad2e2b051a20be59d43b2817d6de227730 | |
| parent | c3837b95c1bf7fa7386ca4a6f12a385d1129f831 (diff) | |
| download | abc-2ef79300ef5efb3f147086497469e5b06f050fae.tar.gz abc-2ef79300ef5efb3f147086497469e5b06f050fae.tar.bz2 abc-2ef79300ef5efb3f147086497469e5b06f050fae.zip | |
Bug fix in &trace.
| -rw-r--r-- | src/aig/gia/giaSpeedup.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaSpeedup.c b/src/aig/gia/giaSpeedup.c index 0d593993..b9f4f037 100644 --- a/src/aig/gia/giaSpeedup.c +++ b/src/aig/gia/giaSpeedup.c @@ -246,6 +246,7 @@ float Gia_ManDelayTraceLut( Gia_Man_t * p ) // initialize the arrival times Gia_ManTimeStart( p ); + Gia_ManLevelNum( p ); // propagate arrival times if ( p->pManTime ) |