From 40d90ae69c4bb84e20e98aab127788a8b1755faa Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 4 May 2016 13:46:07 -0700 Subject: Small changes. --- readme.md | 4 +--- src/base/abci/abc.c | 4 ++-- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/readme.md b/readme.md index 8303e06e..c7a6816d 100644 --- a/readme.md +++ b/readme.md @@ -5,9 +5,7 @@ ABC is always changing but the current snapshot is believed to be stable. ## Compiling: To compile ABC as a binary, download and unzip the code, then type `make`. - -To compile ABC as a static library, comment out `#define ABC_LIB` in file -"src/base/main/main.c", then type `make libabc.a`. +To compile ABC as a static library, type `make libabc.a`. When ABC is used as a static library, two additional procedures, `Abc_Start()` and `Abc_Stop()`, are provided for starting and quitting the ABC framework in diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 26f81c2a..b88fa79d 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -39355,9 +39355,9 @@ int Abc_CommandAbc9Exorcism( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: Abc_Print( -2, "usage: &exorcism [-Q N] [-V N] \n" ); Abc_Print( -2, " performs heuristic exclusive sum-of-project minimization\n" ); - Abc_Print( -2, " -Q N : minimization quality [default = 0]\n"); + Abc_Print( -2, " -Q N : minimization quality [default = %d]\n", Quality); Abc_Print( -2, " increasing this number improves quality and adds to runtime\n"); - Abc_Print( -2, " -V N : verbosity level [default = 0]\n"); + Abc_Print( -2, " -V N : verbosity level [default = %d]\n", Verbosity); Abc_Print( -2, " 0 = no output; 1 = outline; 2 = verbose\n"); Abc_Print( -2, " : the output file name in ESOP-PLA format\n"); Abc_Print( -2, "\n" ); -- cgit v1.2.3