summaryrefslogtreecommitdiffstats
path: root/src/base
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-02-08 19:07:21 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2017-02-08 19:07:21 -0800
commit778ea6bb8ac56a716f457932fbc1a211692f238c (patch)
tree2cadb2a2c20d5e23775d60b92dd0f166d4d879a3 /src/base
parent1e62fb4a92b49639b8ee554a8fb6aafde428daf8 (diff)
downloadabc-778ea6bb8ac56a716f457932fbc1a211692f238c.tar.gz
abc-778ea6bb8ac56a716f457932fbc1a211692f238c.tar.bz2
abc-778ea6bb8ac56a716f457932fbc1a211692f238c.zip
Editing output messages.
Diffstat (limited to 'src/base')
-rw-r--r--src/base/cmd/cmdAuto.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cmd/cmdAuto.c b/src/base/cmd/cmdAuto.c
index e029f6d2..7d0cc8af 100644
--- a/src/base/cmd/cmdAuto.c
+++ b/src/base/cmd/cmdAuto.c
@@ -486,7 +486,7 @@ void Cmd_RunAutoTuner( char * pConfig, char * pFileList, int nCores )
Vec_PtrForEachEntryDouble( satoko_opts_t *, char *, vOpts, pOpts, pString, i )
{
abctime clk = Abc_Clock();
- printf( "Evaluating options %20s... ", pString );
+ printf( "Evaluating settings: %20s... \n", pString );
Result = Cmd_RunAutoTunerEval( vAigs, pOpts, nCores );
printf( "Cost = %6d. ", Result );
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
@@ -497,9 +497,9 @@ void Cmd_RunAutoTuner( char * pConfig, char * pFileList, int nCores )
pOptsBest = pOpts;
}
}
- printf( "The best options are: %20s ", pStringBest );
+ printf( "The best settings are: %20s \n", pStringBest );
printf( "Best cost = %6d. ", ResultBest );
- Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
+ Abc_PrintTime( 1, "Total time", Abc_Clock() - clk );
}
// cleanup
if ( vPars ) Vec_WecFree( vPars );