diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-08 13:26:23 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-08 13:26:23 -0700 |
commit | ca9eca3b227ae3f8a60038ba9c295f5383a6826d (patch) | |
tree | 19b6b5a239fa64537b683886fdb4a0f4f89f1e56 /src/map | |
parent | 97b52a6a6d4407ca7df35e06e175fbddbd0bb715 (diff) | |
download | abc-ca9eca3b227ae3f8a60038ba9c295f5383a6826d.tar.gz abc-ca9eca3b227ae3f8a60038ba9c295f5383a6826d.tar.bz2 abc-ca9eca3b227ae3f8a60038ba9c295f5383a6826d.zip |
Small changes.
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/if/ifDsd.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index f9f25437..d97cd9be 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -2745,6 +2745,8 @@ void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fVerbose if ( (i & 0xFF) == 0 ) Extra_ProgressBarUpdate( pProgress, i, NULL ); nVars = If_DsdObjSuppSize(pObj); + if ( nVars > 8 ) + continue; pTruth = If_DsdManComputeTruth( p, Abc_Var2Lit(i, 0), NULL ); if ( fVeryVerbose ) Dau_DsdPrintFromTruth( pTruth, nVars ); |