diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-27 22:13:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-27 22:13:59 -0800 |
| commit | 87e1bc45a6048f76d35049e4e2b8778c0241ff6c (patch) | |
| tree | 30ca26626cfff0d398d250ca737435898f49b24b /src/map/scl/sclUpsize.c | |
| parent | c8f341fd01c254deccba0099a979933fb386daa4 (diff) | |
| download | abc-87e1bc45a6048f76d35049e4e2b8778c0241ff6c.tar.gz abc-87e1bc45a6048f76d35049e4e2b8778c0241ff6c.tar.bz2 abc-87e1bc45a6048f76d35049e4e2b8778c0241ff6c.zip | |
Commeting out an assertion in sizing.
Diffstat (limited to 'src/map/scl/sclUpsize.c')
| -rw-r--r-- | src/map/scl/sclUpsize.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/scl/sclUpsize.c b/src/map/scl/sclUpsize.c index 1bfc1d56..4c004b97 100644 --- a/src/map/scl/sclUpsize.c +++ b/src/map/scl/sclUpsize.c @@ -137,7 +137,7 @@ void Abc_SclFindCriticalNodeWindow_rec( SC_Man * p, Abc_Obj_t * pObj, Vec_Int_t fArrMax = Abc_SclObjGetSlack(p, pObj, p->MaxDelay); else fArrMax = Abc_SclGetMaxDelayNodeFanins( p, pObj ); - assert( fArrMax >= -1 ); +// assert( fArrMax >= -1 ); fArrMax = Abc_MaxFloat( fArrMax, 0 ); // traverse all fanins whose arrival times are within a window Abc_ObjForEachFanin( pObj, pNext, i ) |