diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-19 14:06:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-19 14:06:51 -0700 |
| commit | b05ee94311ac284de1a658f0c72c8c02a433ed4c (patch) | |
| tree | a945ce875188e53fc5c6946a6506178eaef663ee /src/map/if/ifDsd.c | |
| parent | ee727912938fdba38f08570e4ab961c0fd503dcf (diff) | |
| download | abc-b05ee94311ac284de1a658f0c72c8c02a433ed4c.tar.gz abc-b05ee94311ac284de1a658f0c72c8c02a433ed4c.tar.bz2 abc-b05ee94311ac284de1a658f0c72c8c02a433ed4c.zip | |
Improvements to Boolean matching.
Diffstat (limited to 'src/map/if/ifDsd.c')
| -rw-r--r-- | src/map/if/ifDsd.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index 5525678b..51607066 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -2410,7 +2410,8 @@ void Id_DsdManTuneStr1( If_DsdMan_t * p, char * pStruct, int nConfls, int fVerbo pProgress = Extra_ProgressBarStart( stdout, Vec_PtrSize(&p->vObjs) ); If_DsdVecForEachObjStart( &p->vObjs, pObj, i, p->nObjsPrev ) { - Extra_ProgressBarUpdate( pProgress, i, NULL ); + if ( (i & 0xFF) == 0 ) + Extra_ProgressBarUpdate( pProgress, i, NULL ); nVars = If_DsdObjSuppSize(pObj); if ( nVars <= LutSize ) continue; @@ -2574,7 +2575,7 @@ void Id_DsdManTuneStr( If_DsdMan_t * p, char * pStruct, int nConfls, int nProcs, } for ( k = iCurrentObj; k < Vec_PtrSize(&p->vObjs); k++ ) { - if ( (k & 0x3FF) == 0 ) + if ( (k & 0xFF) == 0 ) Extra_ProgressBarUpdate( pProgress, k, NULL ); pObj = If_DsdVecObj( &p->vObjs, k ); nVars = If_DsdObjSuppSize(pObj); |