Skip to content

A
abc
Commit 43ee0cff by Alan Mishchenko
Options

Spurious assertion.

parent ec0b9b6b
Showing with 1 additions and 1 deletions
src/aig/gia/giaBalAig.c
...@@ -719,7 +719,7 @@ Gia_Man_t * Dam_ManMultiAig( Dam_Man_t * pMan ) ...@@ -719,7 +719,7 @@ Gia_Man_t * Dam_ManMultiAig( Dam_Man_t * pMan )
Dam_ManMultiAig_rec( pMan, pNew, p, Gia_ObjFanin0(pObj) ); Dam_ManMultiAig_rec( pMan, 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