diff options
Diffstat (limited to 'src/aig/nwk/nwkBidec.c')
| -rw-r--r-- | src/aig/nwk/nwkBidec.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/nwk/nwkBidec.c b/src/aig/nwk/nwkBidec.c index 5d0b454e..e30d2c02 100644 --- a/src/aig/nwk/nwkBidec.c +++ b/src/aig/nwk/nwkBidec.c @@ -88,6 +88,11 @@ void Nwk_ManBidecResyn( Nwk_Man_t * pNtk, int fVerbose ) int clk = clock(); pPars->nVarsMax = Nwk_ManGetFaninMax( pNtk ); pPars->fVerbose = fVerbose; + if ( pPars->nVarsMax < 2 ) + { + printf( "Resynthesis is not performed for networks whose nodes are less than 2 inputs.\n" ); + return; + } if ( pPars->nVarsMax > 15 ) { if ( fVerbose ) |