From 2fe17c1f4bf2a4df4076ad2fee336f568c52786f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 9 Feb 2017 14:30:10 -0800 Subject: Word-level abstraction. --- src/base/cmd/cmdAuto.c | 4 ++-- src/base/wlc/wlcAbc.c | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'src/base') diff --git a/src/base/cmd/cmdAuto.c b/src/base/cmd/cmdAuto.c index 7d0cc8af..35f155fa 100644 --- a/src/base/cmd/cmdAuto.c +++ b/src/base/cmd/cmdAuto.c @@ -67,8 +67,8 @@ extern int Gia_ManCallSatokoOne( Gia_Man_t * p, satoko_opts_t * opts, int iOutpu void Cmd_RunAutoTunerPrintOptions( satoko_opts_t * pOpts ) { printf( "-C %d ", (int)pOpts->conf_limit ); - printf( "-V %.3f ", pOpts->var_decay ); - printf( "-W %.3f ", pOpts->clause_decay ); + printf( "-V %.3f ", (float)pOpts->var_decay ); + printf( "-W %.3f ", (float)pOpts->clause_decay ); if ( pOpts->verbose ) printf( "-v" ); printf( "\n" ); diff --git a/src/base/wlc/wlcAbc.c b/src/base/wlc/wlcAbc.c index e19aaaec..1836f4ed 100644 --- a/src/base/wlc/wlcAbc.c +++ b/src/base/wlc/wlcAbc.c @@ -218,8 +218,8 @@ Vec_Int_t * Wlc_NtkGetPut( Abc_Ntk_t * pNtk, Gia_Man_t * pGia ) pName = Abc_ObjName(pFanin); if ( pNames ) { - Value = Abc_NamStrFind(pNames, pName) - 1; - if ( Value == -1 ) + Value = Abc_NamStrFind(pNames, pName) - 1 - Gia_ManPiNum(pGia); + if ( Value < 0 ) { if ( Counter++ == 0 ) printf( "Cannot read input name \"%s\" of fanin %d.\n", pName, i ); -- cgit v1.2.3