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

460f1905 · Alan Mishchenko · 5a5577f9 · 460f1905
Commit 460f1905 authored Sep 06, 2012 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/bool/lucky/luckyFast16.c
+1 -0

No files found.
--- 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++)
    {