diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-21 11:52:50 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-21 11:52:50 -0800 |
commit | b483c97fdd6e1fe6d52158d1b0231678073ace5e (patch) | |
tree | 5bec181d2f913f386021ef26c5808e2909f0dbcd /src/base/abci | |
parent | a703052bc535280de6f7ce01b796a5982e22f5a1 (diff) | |
download | abc-b483c97fdd6e1fe6d52158d1b0231678073ace5e.tar.gz abc-b483c97fdd6e1fe6d52158d1b0231678073ace5e.tar.bz2 abc-b483c97fdd6e1fe6d52158d1b0231678073ace5e.zip |
Minor bug fixes.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 689c21b5..3efc41c9 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -7463,7 +7463,7 @@ usage: Abc_Print( -2, "\t finds optimum networks using SAT-based exact synthesis for hex truth tables <truth1> <truth2> ...\n" ); Abc_Print( -2, "\t-D <num> : constrain maximum depth (if too low, algorithm may not terminate)\n" ); Abc_Print( -2, "\t-A <list> : input arrival times (comma separated list)\n" ); - Abc_Print( -2, "\t-S <num> : number of start gates in search [default = %s]\n", nStartGates ); + Abc_Print( -2, "\t-S <num> : number of start gates in search [default = %d]\n", nStartGates ); Abc_Print( -2, "\t-C <num> : the limit on the number of conflicts; turn off with 0 [default = %d]\n", nBTLimit ); Abc_Print( -2, "\t-a : toggle create AIG [default = %s]\n", fMakeAIG ? "yes" : "no" ); Abc_Print( -2, "\t-t : run test suite\n" ); |