diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-22 00:46:52 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-22 00:46:52 -0800 |
| commit | 8ba2398138fe43acc8ea03db11a9380618dfe429 (patch) | |
| tree | 79c8e8a1337967c9feebd618d2725d0cd4b80f76 /src/map/amap/amapPerm.c | |
| parent | db3a00540219962bfaff3f4a7a18ac0ca0c87e73 (diff) | |
| download | abc-8ba2398138fe43acc8ea03db11a9380618dfe429.tar.gz abc-8ba2398138fe43acc8ea03db11a9380618dfe429.tar.bz2 abc-8ba2398138fe43acc8ea03db11a9380618dfe429.zip | |
Undoing a previuos change to not reset the status after &put.
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 0177a66c..8af42ca3 100644 --- a/src/map/amap/amapPerm.c +++ b/src/map/amap/amapPerm.c @@ -159,7 +159,7 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, iDsdLit = 0; Vec_IntForEachEntry( vNodFanin, iNodFanin, k ) { - if ( iNodFanin == 0 ) + if ( iNodFanin == 0 && iDsdLit < Vec_IntSize(vDsdLits) ) { iDsdFanin = Vec_IntEntry( vDsdLits, iDsdLit++ ); Vec_IntPush( vPerm, iDsdFanin ); @@ -304,6 +304,8 @@ int Amap_LibDeriveGatePerm( Amap_Lib_t * pLib, Amap_Gat_t * pGate, Kit_DsdNtk_t int fVerbose = 0; Vec_Int_t * vPerm; int Entry, Entry2, i, k; +// Kit_DsdPrint( stdout, pNtk ); + vPerm = Amap_LibDeriveGatePerm_rec( pLib, pNtk, Abc_LitRegular(pNtk->Root), pNod ); if ( vPerm == NULL ) return 0; |