summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-02-08 18:59:07 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2017-02-08 18:59:07 -0800
commit1e62fb4a92b49639b8ee554a8fb6aafde428daf8 (patch)
treef7eccfe3f534069840f4ef34067cb25336d2322c /src
parent77e2b1ff53bd806a681c9a887cd5b026681d271b (diff)
downloadabc-1e62fb4a92b49639b8ee554a8fb6aafde428daf8.tar.gz
abc-1e62fb4a92b49639b8ee554a8fb6aafde428daf8.tar.bz2
abc-1e62fb4a92b49639b8ee554a8fb6aafde428daf8.zip
Compiler warning.
Diffstat (limited to 'src')
-rw-r--r--src/base/cmd/cmdAuto.c13
1 files changed, 6 insertions, 7 deletions
diff --git a/src/base/cmd/cmdAuto.c b/src/base/cmd/cmdAuto.c
index 28b209fa..e029f6d2 100644
--- a/src/base/cmd/cmdAuto.c
+++ b/src/base/cmd/cmdAuto.c
@@ -66,11 +66,11 @@ extern int Gia_ManCallSatokoOne( Gia_Man_t * p, satoko_opts_t * opts, int iOutpu
***********************************************************************/
void Cmd_RunAutoTunerPrintOptions( satoko_opts_t * pOpts )
{
- printf( "-C %d ", pOpts->conf_limit );
+ printf( "-C %d ", (int)pOpts->conf_limit );
printf( "-V %.3f ", pOpts->var_decay );
printf( "-W %.3f ", pOpts->clause_decay );
if ( pOpts->verbose )
- printf( "-v", pOpts->verbose );
+ printf( "-v" );
printf( "\n" );
}
@@ -150,7 +150,6 @@ void * Cmd_RunAutoTunerEvalWorkerThread( void * pArg )
}
int Cmd_RunAutoTunerEval( Vec_Ptr_t * vAigs, satoko_opts_t * pOpts, int nProcs )
{
- abctime clkTotal = Abc_Clock();
Cmd_AutoData_t ThData[CMD_THR_MAX];
pthread_t WorkerThread[CMD_THR_MAX];
int i, status, fWorkToDo = 1, TotalCost = 0;
@@ -377,10 +376,10 @@ Vec_Ptr_t * Cmf_CreateOptions( Vec_Wec_t * vPars )
SeeAlso []
***********************************************************************/
-static inline Cmf_IsSpace( char p ) { return p == ' ' || p == '\t' || p == '\n' || p == '\r'; }
-static inline Cmf_IsLowerCaseChar( char p ) { return p >= 'a' && p <= 'z'; }
-static inline Cmf_IsUpperCaseChar( char p ) { return p >= 'A' && p <= 'Z'; }
-static inline Cmf_IsDigit( char p ) { return (p >= '0' && p <= '9') || p == '.'; }
+static inline int Cmf_IsSpace( char p ) { return p == ' ' || p == '\t' || p == '\n' || p == '\r'; }
+static inline int Cmf_IsLowerCaseChar( char p ) { return p >= 'a' && p <= 'z'; }
+static inline int Cmf_IsUpperCaseChar( char p ) { return p >= 'A' && p <= 'Z'; }
+static inline int Cmf_IsDigit( char p ) { return (p >= '0' && p <= '9') || p == '.'; }
Vec_Wec_t * Cmd_ReadParamChoices( char * pConfig )
{