From 93c05287f0d8b044e620b41608df906bbad39db5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 2 Mar 2007 08:01:00 -0800 Subject: Version abc70302 --- src/misc/extra/extra.h | 1 + src/misc/extra/extraUtilFile.c | 8 +++++--- 2 files changed, 6 insertions(+), 3 deletions(-) (limited to 'src/misc/extra') 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++ ) { -- cgit v1.2.3