diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-17 20:48:42 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-17 20:48:42 -0800 |
commit | d688af2601d5a7d4cb23ced5e25eeec0f046f40e (patch) | |
tree | d4a205fa0e2030c16e55d95d12ac173b348f1d95 /src/aig/gia/giaJf.c | |
parent | 17610c039f79e30679b7950e7d91de166b34d2fa (diff) | |
download | abc-d688af2601d5a7d4cb23ced5e25eeec0f046f40e.tar.gz abc-d688af2601d5a7d4cb23ced5e25eeec0f046f40e.tar.bz2 abc-d688af2601d5a7d4cb23ced5e25eeec0f046f40e.zip |
Several small bug fixes.
Diffstat (limited to 'src/aig/gia/giaJf.c')
-rw-r--r-- | src/aig/gia/giaJf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index da767c52..93dac301 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -1589,6 +1589,7 @@ Gia_Man_t * Jf_ManDeriveGia( Jf_Man_t * p ) pNew = Gia_ManStart( Gia_ManObjNum(p->pGia) ); pNew->pName = Abc_UtilStrsav( p->pGia->pName ); pNew->pSpec = Abc_UtilStrsav( p->pGia->pSpec ); + pNew->vLevels = Vec_IntStart( 6*Gia_ManObjNum(p->pGia)/5 + 100 ); // map primary inputs Vec_IntWriteEntry( vCopies, 0, 0 ); Gia_ManForEachCi( p->pGia, pObj, i ) |