diff options
Diffstat (limited to 'src/misc/extra')
-rw-r--r-- | src/misc/extra/extra.h | 1 | ||||
-rw-r--r-- | src/misc/extra/extraUtilFile.c | 8 |
2 files changed, 6 insertions, 3 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index 1fff12d5..4aa2c816 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -110,6 +110,7 @@ typedef unsigned long long uint64; #ifndef PRT #define PRT(a,t) printf("%s = ", (a)); printf("%6.2f sec\n", (float)(t)/(float)(CLOCKS_PER_SEC)) +#define PRTn(a,t) printf("%s = ", (a)); printf("%6.2f sec ", (float)(t)/(float)(CLOCKS_PER_SEC)) #endif #ifndef PRTP diff --git a/src/misc/extra/extraUtilFile.c b/src/misc/extra/extraUtilFile.c index 14c987e8..e2f0bcd4 100644 --- a/src/misc/extra/extraUtilFile.c +++ b/src/misc/extra/extraUtilFile.c @@ -324,9 +324,11 @@ void Extra_PrintBinary( FILE * pFile, unsigned Sign[], int nBits ) ***********************************************************************/ int Extra_ReadHexadecimal( unsigned Sign[], char * pString, int nVars ) { - int nDigits, Digit, k, c; - Sign[0] = 0; - // write the number into the file + int nWords, nDigits, Digit, k, c; + nWords = Extra_TruthWordNum( nVars ); + for ( k = 0; k < nWords; k++ ) + Sign[k] = 0; + // read the number from the string nDigits = (1 << nVars) / 4; for ( k = 0; k < nDigits; k++ ) { |