From 37a5a36cf9b31b3a00ba90a11f1cb4d14c91d7d8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 18 Sep 2015 09:34:36 -0700 Subject: Commenting out assertion in &b, which does not hold. --- src/aig/gia/giaBalAig.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aig/gia/giaBalAig.c b/src/aig/gia/giaBalAig.c index dc9ffecd..a3d93501 100644 --- a/src/aig/gia/giaBalAig.c +++ b/src/aig/gia/giaBalAig.c @@ -342,7 +342,7 @@ Gia_Man_t * Gia_ManBalanceInt( Gia_Man_t * p ) Gia_ManBalance_rec( pNew, p, Gia_ObjFanin0(pObj) ); pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) ); } - assert( Gia_ManObjNum(pNew) <= Gia_ManObjNum(p) ); + //assert( Gia_ManObjNum(pNew) <= Gia_ManObjNum(p) ); Gia_ManHashStop( pNew ); Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) ); // perform cleanup -- cgit v1.2.3