diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-18 09:34:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-18 09:34:36 -0700 |
| commit | 37a5a36cf9b31b3a00ba90a11f1cb4d14c91d7d8 (patch) | |
| tree | 9de4ad3d6da6553f66fbe5d45ef3c583d6e02f7b /src/aig/gia/giaBalAig.c | |
| parent | f06ca216ab1587467044d408baca4f01c5a236b5 (diff) | |
| download | abc-37a5a36cf9b31b3a00ba90a11f1cb4d14c91d7d8.tar.gz abc-37a5a36cf9b31b3a00ba90a11f1cb4d14c91d7d8.tar.bz2 abc-37a5a36cf9b31b3a00ba90a11f1cb4d14c91d7d8.zip | |
Commenting out assertion in &b, which does not hold.
Diffstat (limited to 'src/aig/gia/giaBalAig.c')
| -rw-r--r-- | src/aig/gia/giaBalAig.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 |