diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bool/lucky/luckyFast16.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c index 2d2fbf37..4e496373 100644 --- a/src/bool/lucky/luckyFast16.c +++ b/src/bool/lucky/luckyFast16.c @@ -557,6 +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" ); memcpy(pDuplicate,pInOut,nWords*sizeof(word)); for(i=0;i<5;i++) { |