diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 16:30:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 16:30:52 -0700 |
commit | 1bd7550378752ba3957ffe4a2af58a74de8c7c51 (patch) | |
tree | db666f6da6afa2d6b34bddb71da479c1b2e84c29 /src/base | |
parent | 6325e41681a259cf63de3aabe10b4b0930e77e56 (diff) | |
download | abc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.tar.gz abc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.tar.bz2 abc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.zip |
Compiler warnings.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abc.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 42761fc7..cddf0b51 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -42208,7 +42208,6 @@ usage: SeeAlso [] ***********************************************************************/ -//#ifndef _WIN32 int Abc_CommandAbc9Ttopt( Abc_Frame_t * pAbc, int argc, char ** argv ) { Gia_Man_t * pTemp; @@ -42300,9 +42299,13 @@ usage: Abc_Print( -2, "\t-v : toggles verbose output [default = %s]\n", fVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : prints the command usage\n"); Abc_Print( -2, "\t<file> : file name with simulation information\n"); + Abc_Print( -2, "\t\n" ); + Abc_Print( -2, "\t This command was contributed by Yukio Miyasaka.\n" ); + Abc_Print( -2, "\t The paper describing the method: Y. Miyasaka et al. \"Synthesizing\n" ); + Abc_Print( -2, "\t a class of practical Boolean functions using truth tables\". Proc. IWLS 2022.\n" ); + Abc_Print( -2, "\t https://people.eecs.berkeley.edu/~alanmi/publications/2022/iwls22_reo.pdf\n" ); return 1; } -//#endif /**Function************************************************************* |