diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-09 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-09 08:01:00 -0700 |
| commit | 8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69 (patch) | |
| tree | c0a4902f065ab11ca8d33a5c0c9184a47fdea744 /src/base | |
| parent | 20c2b197984ad6da0f28eb9ef86f95b362d96335 (diff) | |
| download | abc-8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69.tar.gz abc-8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69.tar.bz2 abc-8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69.zip | |
Version abc51009
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 2 | ||||
| -rw-r--r-- | src/base/abci/module.make | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 24301ac3..aa5dedad 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -844,7 +844,7 @@ int Abc_CommandPrintSymms( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: fprintf( pErr, "usage: print_symm [-nbvh]\n" ); fprintf( pErr, "\t computes symmetries of the PO functions\n" ); - fprintf( pErr, "\t-b : toggle BDD-based or SAT-based computations [default = %s].\n", fUseBdds? "bdd": "sat" ); + fprintf( pErr, "\t-b : toggle BDD-based or SAT-based computations [default = %s].\n", fUseBdds? "BDD": "SAT" ); fprintf( pErr, "\t-n : enable naive BDD-based computation [default = %s].\n", fNaive? "yes": "no" ); fprintf( pErr, "\t-v : enable verbose output [default = %s].\n", fVerbose? "yes": "no" ); fprintf( pErr, "\t-h : print the command usage\n"); diff --git a/src/base/abci/module.make b/src/base/abci/module.make index 4466cf99..660aee63 100644 --- a/src/base/abci/module.make +++ b/src/base/abci/module.make @@ -23,4 +23,5 @@ SRC += src/base/abci/abc.c \ src/base/abci/abcTiming.c \ src/base/abci/abcUnreach.c \ src/base/abci/abcVanEijk.c \ + src/base/abci/abcVanImp.c \ src/base/abci/abcVerify.c |