diff options
Diffstat (limited to 'src/opt/res/resCore.c')
| -rw-r--r-- | src/opt/res/resCore.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/opt/res/resCore.c b/src/opt/res/resCore.c index aa0eaeec..b22f0f5e 100644 --- a/src/opt/res/resCore.c +++ b/src/opt/res/resCore.c @@ -221,6 +221,8 @@ int Abc_NtkResynthesize( Abc_Ntk_t * pNtk, Res_Par_t * pPars ) p->nTotalNets = Abc_NtkGetTotalFanins(pNtk); p->nTotalNodes = Abc_NtkNodeNum(pNtk); nFaninsMax = Abc_NtkGetFaninMax(pNtk); + if ( nFaninsMax > 8 ) + nFaninsMax = 8; // perform the network sweep Abc_NtkSweep( pNtk, 0 ); |