Skip to content

A
abc
Commit 58d50bf9 by Alan Mishchenko
Options

Debugging 64-bit bug in new semi-canonical form..

parent 460f1905
Showing with 4 additions and 1 deletions
src/bool/lucky/luckyFast16.c
...@@ -557,7 +557,7 @@ inline int minimalSwapAndFlipIVar_superFast_all(word* pInOut, int nVars, int nWo ...@@ -557,7 +557,7 @@ inline int minimalSwapAndFlipIVar_superFast_all(word* pInOut, int nVars, int nWo
int i; int i;
word pDuplicate[1024]; word pDuplicate[1024];
int bitInfoTemp = pStore[0]; int bitInfoTemp = pStore[0];
printf("visit\n" ); printf("visit1\n" ), fflush(stdout);
memcpy(pDuplicate,pInOut,nWords*sizeof(word)); memcpy(pDuplicate,pInOut,nWords*sizeof(word));
for(i=0;i<5;i++) for(i=0;i<5;i++)
{ {
...@@ -569,11 +569,13 @@ printf("visit\n" ); ...@@ -569,11 +569,13 @@ printf("visit\n" );
continue; continue;
} }
} }
printf("visit2\n" ), fflush(stdout);
if(bitInfoTemp == pStore[i+1]) if(bitInfoTemp == pStore[i+1])
minimalSwapAndFlipIVar_superFast_iVar5((unsigned*) pInOut, nWords, pCanonPerm, pCanonPhase); minimalSwapAndFlipIVar_superFast_iVar5((unsigned*) pInOut, nWords, pCanonPerm, pCanonPhase);
else else
bitInfoTemp = pStore[i+1]; bitInfoTemp = pStore[i+1];
printf("visit3\n" ), fflush(stdout);
for(i=6;i<nVars-1;i++) for(i=6;i<nVars-1;i++)
{ {
if(bitInfoTemp == pStore[i+1]) if(bitInfoTemp == pStore[i+1])
...@@ -584,6 +586,7 @@ printf("visit\n" ); ...@@ -584,6 +586,7 @@ printf("visit\n" );
continue; continue;
} }
} }
printf("visit4\n" ), fflush(stdout);
if(memcmp(pInOut,pDuplicate , nWords*sizeof(word)) == 0) if(memcmp(pInOut,pDuplicate , nWords*sizeof(word)) == 0)
return 0; return 0;
else else
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment