diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-27 18:53:22 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-27 18:53:22 -0800 |
| commit | 55ba5a3e4cac4592e8bbeef6c0c0cba69824d712 (patch) | |
| tree | a8b76fddcb38304c1301639fd6a7d2f4ef014a60 /src/base/abci/abc.c | |
| parent | 9cbba3cce75a9adb3550afb87580ced929ff9e4d (diff) | |
| download | abc-55ba5a3e4cac4592e8bbeef6c0c0cba69824d712.tar.gz abc-55ba5a3e4cac4592e8bbeef6c0c0cba69824d712.tar.bz2 abc-55ba5a3e4cac4592e8bbeef6c0c0cba69824d712.zip | |
Patching ABC for Yosys.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 4bd23116..511aa16f 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -10738,7 +10738,7 @@ int Abc_CommandSenseInput( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: Abc_Print( -2, "usage: senseinput [-C num] [-vh]\n" ); Abc_Print( -2, "\t computes sensitivity of POs to PIs under constraint\n" ); - Abc_Print( -2, "\t constraint should be represented as the last PO" ); + Abc_Print( -2, "\t constraint should be represented as the last PO\n" ); Abc_Print( -2, "\t-C num : the max number of conflicts at a node [default = %d]\n", nConfLim ); 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"); @@ -23627,7 +23627,7 @@ usage: Abc_Print( -2, "\t-h : print the command usage\n"); Abc_Print( -2, "\t \n" ); - Abc_Print( -2, "\t This command was contributed by Hadi Katebi from U Michigan." ); + Abc_Print( -2, "\t This command was contributed by Hadi Katebi from U Michigan.\n" ); Abc_Print( -2, "\t The paper describing the method: H. Katebi, K. Sakallah and\n"); Abc_Print( -2, "\t I. L. Markov.\n" ); Abc_Print( -2, "\t \"Generalized Boolean Symmetries Through Nested Partition\n"); |