Skip to content

A
abc
Commit 37a5a36c by Alan Mishchenko
Options

Commenting out assertion in &b, which does not hold.

parent f06ca216
Showing with 1 additions and 1 deletions
src/aig/gia/giaBalAig.c
...@@ -342,7 +342,7 @@ Gia_Man_t * Gia_ManBalanceInt( Gia_Man_t * p ) ...@@ -342,7 +342,7 @@ Gia_Man_t * Gia_ManBalanceInt( Gia_Man_t * p )
Gia_ManBalance_rec( pNew, p, Gia_ObjFanin0(pObj) ); Gia_ManBalance_rec( pNew, p, Gia_ObjFanin0(pObj) );
pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(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_ManHashStop( pNew );
Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) ); Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) );
// perform cleanup // perform cleanup
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment