diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-11-07 21:15:03 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-11-07 21:15:03 -0800 |
| commit | 621d6355f475670cfdba5b685c65ee4dfd4207ea (patch) | |
| tree | 5b7079e5515528630508e10f4e254fa2ee5a016a /src/aig | |
| parent | 5e4a78470b71fc2adabde6397e3ed44fae79c172 (diff) | |
| download | abc-621d6355f475670cfdba5b685c65ee4dfd4207ea.tar.gz abc-621d6355f475670cfdba5b685c65ee4dfd4207ea.tar.bz2 abc-621d6355f475670cfdba5b685c65ee4dfd4207ea.zip | |
Temporary fix to a &blut problem.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaStr.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaStr.c b/src/aig/gia/giaStr.c index 2233d0fc..a87662a8 100644 --- a/src/aig/gia/giaStr.c +++ b/src/aig/gia/giaStr.c @@ -736,7 +736,7 @@ Str_Ntk_t * Str_ManNormalizeInt( Gia_Man_t * p, Vec_Wec_t * vGroups, Vec_Int_t * if ( p->vStore == NULL ) p->vStore = Vec_IntAlloc( STR_SUPER ); Gia_ManFillValue( p ); - pNtk = Str_NtkCreate( Gia_ManObjNum(p), 1 + Gia_ManCoNum(p) + 2 * Gia_ManAndNum(p) + Gia_ManMuxNum(p) ); + pNtk = Str_NtkCreate( Gia_ManObjNum(p) + 10000, 1 + Gia_ManCoNum(p) + 2 * Gia_ManAndNum(p) + Gia_ManMuxNum(p) + 10000 ); Gia_ManConst0(p)->Value = 0; Gia_ManForEachObj1( p, pObj, i ) { @@ -749,7 +749,7 @@ Str_Ntk_t * Str_ManNormalizeInt( Gia_Man_t * p, Vec_Wec_t * vGroups, Vec_Int_t * pObj->Value = Str_ObjCreate( pNtk, STR_PO, 1, &iFanin ); } } - assert( pNtk->nObjs <= Gia_ManObjNum(p) ); + //assert( pNtk->nObjs <= Gia_ManObjNum(p) ); return pNtk; } Str_Ntk_t * Str_ManNormalize( Gia_Man_t * p ) |