summaryrefslogtreecommitdiffstats
path: root/src/base
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-02-08 19:12:57 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2017-02-08 19:12:57 -0800
commit040b88a7c6bc437f6f9dc792510d5d905b516eb5 (patch)
tree3bdfa1fbc3e507336e092072ebbd43ddd847ab7b /src/base
parent2a9902eec7287735db933a8d55f7f7458aa9d939 (diff)
downloadabc-040b88a7c6bc437f6f9dc792510d5d905b516eb5.tar.gz
abc-040b88a7c6bc437f6f9dc792510d5d905b516eb5.tar.bz2
abc-040b88a7c6bc437f6f9dc792510d5d905b516eb5.zip
Editing output messages.
Diffstat (limited to 'src/base')
-rw-r--r--src/base/cmd/cmd.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cmd/cmd.c b/src/base/cmd/cmd.c
index ec4a0c86..853f5710 100644
--- a/src/base/cmd/cmd.c
+++ b/src/base/cmd/cmd.c
@@ -2562,10 +2562,10 @@ int CmdCommandAutoTuner( Abc_Frame_t * pAbc, int argc, char ** argv )
usage:
Abc_Print( -2, "usage: autotuner [-N num] [-C file] [-F file] [-vh]\n" );
- Abc_Print( -2, "\t runs command lines listed in <file> concurrently on <num> CPUs\n" );
+ Abc_Print( -2, "\t performs autotuning\n" );
Abc_Print( -2, "\t-N num : the number of concurrent jobs including the controler [default = %d]\n", nCores );
- Abc_Print( -2, "\t-C cmd : configuration file for autotuning\n" );
- Abc_Print( -2, "\t-F cmd : list of files to be used for autotuning\n" );
+ Abc_Print( -2, "\t-C cmd : configuration file with settings for autotuning\n" );
+ Abc_Print( -2, "\t-F cmd : list of AIGER files to be used for autotuning\n" );
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
Abc_Print( -2, "\t-h : print the command usage\n");
return 1;