diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-23 11:58:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-23 11:58:59 -0800 |
| commit | a87a3b4e330b6abf4411ccf72503cadd10aeb44e (patch) | |
| tree | 70c93424e9c18dc080ea6c8dfe8b7c54b0478490 /src/map/amap/amapPerm.c | |
| parent | 871684d2a03708315b5e067a294dbba9608f2766 (diff) | |
| download | abc-a87a3b4e330b6abf4411ccf72503cadd10aeb44e.tar.gz abc-a87a3b4e330b6abf4411ccf72503cadd10aeb44e.tar.bz2 abc-a87a3b4e330b6abf4411ccf72503cadd10aeb44e.zip | |
Bug fix in stadard cell library representation.
Diffstat (limited to 'src/map/amap/amapPerm.c')
| -rw-r--r-- | src/map/amap/amapPerm.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c index 7c471ca4..8aef11ad 100644 --- a/src/map/amap/amapPerm.c +++ b/src/map/amap/amapPerm.c @@ -195,9 +195,11 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, break; } } - assert( iDsdLit == Vec_IntSize(vDsdLits) ); Vec_IntFree( vNodFanin ); Vec_IntFree( vDsdLits ); +// assert( iDsdLit == Vec_IntSize(vDsdLits) ); + if ( iDsdLit != Vec_IntSize(vDsdLits) ) + Vec_IntFreeP( &vPerm ); return vPerm; } |