diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 20:51:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 20:51:16 -0700 |
| commit | 58d50bf94a18ccfce1abd91c827dc38635f557c3 (patch) | |
| tree | 5f2ef8feb120f44f3aaa3f0535f53776c459778d | |
| parent | 460f1905e2b2ab0cbde75d6705fe4479b80cf467 (diff) | |
| download | abc-58d50bf94a18ccfce1abd91c827dc38635f557c3.tar.gz abc-58d50bf94a18ccfce1abd91c827dc38635f557c3.tar.bz2 abc-58d50bf94a18ccfce1abd91c827dc38635f557c3.zip | |
Debugging 64-bit bug in new semi-canonical form..
| -rw-r--r-- | src/bool/lucky/luckyFast16.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c index 4e496373..b35a7470 100644 --- a/src/bool/lucky/luckyFast16.c +++ b/src/bool/lucky/luckyFast16.c @@ -557,7 +557,7 @@ inline int minimalSwapAndFlipIVar_superFast_all(word* pInOut, int nVars, int nWo int i; word pDuplicate[1024]; int bitInfoTemp = pStore[0]; -printf("visit\n" ); +printf("visit1\n" ), fflush(stdout); memcpy(pDuplicate,pInOut,nWords*sizeof(word)); for(i=0;i<5;i++) { @@ -569,11 +569,13 @@ printf("visit\n" ); continue; } } +printf("visit2\n" ), fflush(stdout); if(bitInfoTemp == pStore[i+1]) minimalSwapAndFlipIVar_superFast_iVar5((unsigned*) pInOut, nWords, pCanonPerm, pCanonPhase); else bitInfoTemp = pStore[i+1]; +printf("visit3\n" ), fflush(stdout); for(i=6;i<nVars-1;i++) { if(bitInfoTemp == pStore[i+1]) @@ -584,6 +586,7 @@ printf("visit\n" ); continue; } } +printf("visit4\n" ), fflush(stdout); if(memcmp(pInOut,pDuplicate , nWords*sizeof(word)) == 0) return 0; else |