summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2018-10-23 14:48:04 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2018-10-23 14:48:04 +0700
commit2ef879e928bb896707517dac3688d2ac6008e04d (patch)
treebe96a08792eeaae126f5b6e6f4a0da02299e1601 /src/aig
parent2050104f236194fa63983ab2e3c9deff38c5118c (diff)
downloadabc-2ef879e928bb896707517dac3688d2ac6008e04d.tar.gz
abc-2ef879e928bb896707517dac3688d2ac6008e04d.tar.bz2
abc-2ef879e928bb896707517dac3688d2ac6008e04d.zip
Fix timing info communication in GIA APIs.
Diffstat (limited to 'src/aig')
-rw-r--r--src/aig/gia/giaIf.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index b1acb780..33c7d574 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -2245,6 +2245,7 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
{
int Id, And2Delay = p->And2Delay ? p->And2Delay : 1;
assert( Vec_FltSize(p->vInArrs) == Gia_ManCiNum(p) );
+ pPars->pTimesArr = ABC_CALLOC( float, Gia_ManCiNum(p));
Gia_ManForEachCiId( p, Id, i )
pPars->pTimesArr[i] = Vec_FltEntry(p->vInArrs, i)/And2Delay;
}