summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/base/cmd/cmdAuto.c4
-rw-r--r--src/base/wlc/wlcAbc.c4
2 files changed, 4 insertions, 4 deletions
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 );