diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-08 19:07:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-08 19:07:21 -0800 |
| commit | 778ea6bb8ac56a716f457932fbc1a211692f238c (patch) | |
| tree | 2cadb2a2c20d5e23775d60b92dd0f166d4d879a3 /src/base | |
| parent | 1e62fb4a92b49639b8ee554a8fb6aafde428daf8 (diff) | |
| download | abc-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.c | 6 |
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 ); |