diff options
Diffstat (limited to 'src/opt/lpk')
-rw-r--r-- | src/opt/lpk/lpkAbcDsd.c | 7 | ||||
-rw-r--r-- | src/opt/lpk/lpkCore.c | 4 |
2 files changed, 10 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkAbcDsd.c b/src/opt/lpk/lpkAbcDsd.c index 46d9179a..a1cd9def 100644 --- a/src/opt/lpk/lpkAbcDsd.c +++ b/src/opt/lpk/lpkAbcDsd.c @@ -287,7 +287,12 @@ void Lpk_FunCompareBoundSets( Lpk_Fun_t * p, Vec_Int_t * vBSets, int nCofDepth, if ( (uBoundSet & uLateArrSupp) ) // skip those boundsets that are late arriving continue; if ( fVerbose ) -Lpk_PrintSetOne( uBoundSet ); +{ +Lpk_PrintSetOne( uBoundSet & 0xFFFF ); +//printf( "\n" ); +//Lpk_PrintSetOne( uBoundSet >> 16 ); +//printf( "\n" ); +} assert( (uBoundSet & (uBoundSet >> 16)) == 0 ); nVarsBS = Kit_WordCountOnes( uBoundSet & 0xFFFF ); if ( nVarsBS == 1 ) diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index 78356d81..d8dd15b7 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -387,6 +387,10 @@ p->timeCuts += clock() - clk; p->nCutsUseful += p->nEvals; for ( i = 0; i < p->nEvals; i++ ) { + if ( p->pObj->Id == 1478 ) + { + int x = 0; + } // get the cut pCut = p->pCuts + p->pEvals[i]; if ( p->pPars->fFirst && i == 1 ) |