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/giaFx.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/giaFx.c')
| -rw-r--r-- | src/aig/gia/giaFx.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaFx.c b/src/aig/gia/giaFx.c index 9985e51d..73a8cf5c 100644 --- a/src/aig/gia/giaFx.c +++ b/src/aig/gia/giaFx.c @@ -328,6 +328,7 @@ Gia_Man_t * Gia_ManFxInsert( Gia_Man_t * p, Vec_Wec_t * vCubes, Vec_Str_t * vCom pNew = Gia_ManStart( Gia_ManObjNum(p) ); pNew->pName = Abc_UtilStrsav( p->pName ); pNew->pSpec = Abc_UtilStrsav( p->pSpec ); + pNew->vLevels = Vec_IntStart( 6*Gia_ManObjNum(p)/5 + 100 ); Gia_ManHashStart( pNew ); // create primary inputs vMap = Vec_IntStartFull( Vec_IntSize(vOrder) ); |