From 87e1bc45a6048f76d35049e4e2b8778c0241ff6c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 27 Nov 2013 22:13:59 -0800
Subject: Commeting out an assertion in sizing.

---
 src/map/scl/sclUpsize.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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 )
-- 
cgit v1.2.3