Skip to content

A
abc
Commit 7693ce6a by Alan Mishchenko
Options

Bug fix in &uif.

parent dd81af81
Showing with 2 additions and 2 deletions
src/aig/gia/giaDup.c
...@@ -5260,11 +5260,11 @@ Vec_Wec_t ** Gia_ManDupUifBuildMap( Gia_Man_t * p ) ...@@ -5260,11 +5260,11 @@ Vec_Wec_t ** Gia_ManDupUifBuildMap( Gia_Man_t * p )
for ( j = 0; j < (Item >> 16); j++ ) for ( j = 0; j < (Item >> 16); j++ )
Vec_IntPush( vVec, Vec_IntEntry(vBufs, k++) ); Vec_IntPush( vVec, Vec_IntEntry(vBufs, k++) );
} }
Vec_IntFree( vTypes );
Vec_IntFree( vBufs );
assert( p->nBufs == k ); assert( p->nBufs == k );
for ( i = 0; i < Vec_IntSize(vTypes); i++ ) for ( i = 0; i < Vec_IntSize(vTypes); i++ )
assert( Vec_WecSize(pvMap[2*i+0]) == Vec_WecSize(pvMap[2*i+1]) ); assert( Vec_WecSize(pvMap[2*i+0]) == Vec_WecSize(pvMap[2*i+1]) );
Vec_IntFree( vTypes );
Vec_IntFree( vBufs );
return pvMap; return pvMap;
} }
int Gia_ManDupUifConstrOne( Gia_Man_t * pNew, Gia_Man_t * p, Vec_Int_t * vVec0, Vec_Int_t * vVec1 ) int Gia_ManDupUifConstrOne( Gia_Man_t * pNew, Gia_Man_t * p, Vec_Int_t * vVec0, Vec_Int_t * vVec1 )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment