diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-23 15:21:19 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-23 15:21:19 +0700 |
commit | 455e0bae3e1b40a1777b5f3103bff26b6bcefac3 (patch) | |
tree | dd5162f9a6293faff1cdcd9363bee8c407086a1a /src | |
parent | 2ef879e928bb896707517dac3688d2ac6008e04d (diff) | |
download | abc-455e0bae3e1b40a1777b5f3103bff26b6bcefac3.tar.gz abc-455e0bae3e1b40a1777b5f3103bff26b6bcefac3.tar.bz2 abc-455e0bae3e1b40a1777b5f3103bff26b6bcefac3.zip |
Fix timing info communication in GIA APIs.
Diffstat (limited to 'src')
-rw-r--r-- | src/aig/gia/giaIf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 33c7d574..6cb76ba1 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -2132,6 +2132,7 @@ void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia ) p->vOutReqs = pGia->vOutReqs; pGia->vOutReqs = NULL; p->DefInArrs = pGia->DefInArrs; p->DefOutReqs = pGia->DefOutReqs; + p->And2Delay = pGia->And2Delay; } if ( pGia->vNamesIn || pGia->vNamesOut ) { |