From aff7f38495b4377d9e991be5fa728f3b53ed463a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 6 Sep 2012 20:58:14 -0700
Subject: Debugging 64-bit bug in new semi-canonical form..

---
 src/bool/lucky/luckyFast16.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/bool')

diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c
index a90d57fc..1d0e16e8 100644
--- a/src/bool/lucky/luckyFast16.c
+++ b/src/bool/lucky/luckyFast16.c
@@ -121,6 +121,10 @@ inline int minTemp2_fast(word* pInOut, int iVar, int iQ, int jQ, int nWords, int
     int  blockSize = 1<<iVar;
     int  shiftSize = blockSize*4;
     word temp;
+
+printf( "iVar = %d  iQ = %d  jQ = %d  blockSize = %d  shiftSize = %d  nWords = %d\n", 
+       iVar, iQ, jQ, blockSize, shiftSize, nWords );
+
     for(i=nWords - 1; i>=0; i--)
     {
         temp = ((pInOut[i] & SFmask[iVar][iQ])<<(iQ*blockSize)) ^ ((pInOut[i] & SFmask[iVar][jQ])<<(jQ*blockSize));
-- 
cgit v1.2.3