Improvements to gate-sizing.

This commit is contained in:
Alan Mishchenko 2012-08-30 19:54:17 -07:00
parent b8b478c8d8
commit 484ab7a17b
1 changed files with 1 additions and 0 deletions

View File

@ -146,6 +146,7 @@ Vec_Int_t * Abc_SclFindCriticalPath( SC_Man * p, int Range, Vec_Int_t ** pvPivot
pObj = Abc_SclFindMostCriticalFanin( p, &fRise, pObj );
}
}
Vec_IntUniqify( vPath );
if ( pvPivots )
*pvPivots = vPivots;
else