diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-20 11:52:51 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-20 11:52:51 -0700 |
commit | aa78ce56e73427a2a30669a2bbedacc3bb8caa9d (patch) | |
tree | 92d9960d3525bd21aacf4327027dd4f9ea6f1fc8 /src/base/abci/abc.c | |
parent | e53ffc640827d1c9d44f8fb24518d9bb87660f4a (diff) | |
download | abc-aa78ce56e73427a2a30669a2bbedacc3bb8caa9d.tar.gz abc-aa78ce56e73427a2a30669a2bbedacc3bb8caa9d.tar.bz2 abc-aa78ce56e73427a2a30669a2bbedacc3bb8caa9d.zip |
Updated code for lazy man's synthesis.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 98297ad0..0471d441 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -12742,7 +12742,7 @@ int Abc_CommandRecStart2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: rec_start [-K num] [-C num] [-th]\n" ); + Abc_Print( -2, "usage: rec_start2 [-K num] [-C num] [-th]\n" ); Abc_Print( -2, "\t starts recording AIG subgraphs (should be called for\n" ); Abc_Print( -2, "\t an empty network or after reading in a previous record)\n" ); Abc_Print( -2, "\t-K num : the largest number of inputs [default = %d]\n", nVars ); @@ -12789,7 +12789,7 @@ int Abc_CommandRecStop2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: rec_stop [-h]\n" ); + Abc_Print( -2, "usage: rec_stop2 [-h]\n" ); Abc_Print( -2, "\t cleans the internal storage for AIG subgraphs\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; @@ -12841,7 +12841,7 @@ int Abc_CommandRecAdd2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: rec_add [-h]\n" ); + Abc_Print( -2, "usage: rec_add2 [-h]\n" ); Abc_Print( -2, "\t adds subgraphs from the current network to the set\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; @@ -12887,7 +12887,7 @@ int Abc_CommandRecPs2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: rec_ps [-h]\n" ); + Abc_Print( -2, "usage: rec_ps2 [-h]\n" ); Abc_Print( -2, "\t prints statistics about the recorded AIG subgraphs\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; @@ -12955,7 +12955,7 @@ int Abc_CommandRecDump2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: rec_dump [-h] <file>\n" ); + Abc_Print( -2, "usage: rec_dump2 [-h] <file>\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; } @@ -13010,7 +13010,7 @@ int Abc_CommandRecFilter2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: rec_filter [-h]\n" ); + Abc_Print( -2, "usage: rec_filter2 [-h]\n" ); Abc_Print( -2, "\t filter the library of the recorder\n" ); Abc_Print( -2, "\t-F num : the limit number of function class [default = %d]\n", nLimit ); Abc_Print( -2, "\t-h : print the command usage\n"); @@ -13090,7 +13090,7 @@ int Abc_CommandRecMerge2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: rec_merge [-h]\n" ); + Abc_Print( -2, "usage: rec_merge2 [-h]\n" ); Abc_Print( -2, "\t merge libraries\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; |