summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-11-07 21:15:03 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2021-11-07 21:15:03 -0800
commit621d6355f475670cfdba5b685c65ee4dfd4207ea (patch)
tree5b7079e5515528630508e10f4e254fa2ee5a016a /src/aig
parent5e4a78470b71fc2adabde6397e3ed44fae79c172 (diff)
downloadabc-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.c4
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 )