diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 16:30:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 16:30:00 -0700 |
| commit | 460f1905e2b2ab0cbde75d6705fe4479b80cf467 (patch) | |
| tree | 89d939ff79cbecbf4c6b60ba2d091b64a0e72ed1 /src/bool | |
| parent | 5a5577f9072b162c235815542e3c8696d6c682b1 (diff) | |
| download | abc-460f1905e2b2ab0cbde75d6705fe4479b80cf467.tar.gz abc-460f1905e2b2ab0cbde75d6705fe4479b80cf467.tar.bz2 abc-460f1905e2b2ab0cbde75d6705fe4479b80cf467.zip | |
Debugging 64-bit bug in new semi-canonical form..
Diffstat (limited to 'src/bool')
| -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++) { |