diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-23 20:32:37 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-23 20:32:37 -0400 |
| commit | d9b5aa49f7e77505938d14affbb7f2fe287df33d (patch) | |
| tree | 1bbd66bba06dc6b36870612416cc35cc726e3a61 /src/base/abci/abc.c | |
| parent | 3f95853f3edd55307a09fceb220090e632de322c (diff) | |
| download | abc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.tar.gz abc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.tar.bz2 abc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.zip | |
Enables dumping stats into a file.
Diffstat (limited to 'src/base/abci/abc.c')
| -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 eb19028e..c05b8af6 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -1211,7 +1211,7 @@ usage: Abc_Print( -2, "\t prints the network statistics\n" ); Abc_Print( -2, "\t-f : toggles printing the literal count in the factored forms [default = %s]\n", fFactor? "yes": "no" ); Abc_Print( -2, "\t-b : toggles saving the best logic network in \"best.blif\" [default = %s]\n", fSaveBest? "yes": "no" ); - Abc_Print( -2, "\t-d : toggles dumping network into file \"<input_file_name>_dump.blif\" [default = %s]\n", fDumpResult? "yes": "no" ); + Abc_Print( -2, "\t-d : toggles dumping statistics about the network into file [default = %s]\n", fDumpResult? "yes": "no" ); Abc_Print( -2, "\t-l : toggles printing delay of LUT mapping using LUT library [default = %s]\n", fSaveBest? "yes": "no" ); Abc_Print( -2, "\t-t : toggles printing runtime statistics [default = %s]\n", fPrintTime? "yes": "no" ); Abc_Print( -2, "\t-m : toggles printing MUX statistics [default = %s]\n", fPrintMuxes? "yes": "no" ); |