From 778ea6bb8ac56a716f457932fbc1a211692f238c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 8 Feb 2017 19:07:21 -0800 Subject: Editing output messages. --- src/base/cmd/cmdAuto.c | 6 +++--- 1 file 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 ); -- cgit v1.2.3