diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-10 11:48:25 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-10 11:48:25 -0800 |
| commit | 759c6596a51eda2b02d2b79c1ee428cbe4a44061 (patch) | |
| tree | 5be24a4dab7aa9b137ed95d1f0fcb0bad821df1d | |
| parent | aa31e011a892e89e6b86a13a302adbd307ea106e (diff) | |
| download | abc-759c6596a51eda2b02d2b79c1ee428cbe4a44061.tar.gz abc-759c6596a51eda2b02d2b79c1ee428cbe4a44061.tar.bz2 abc-759c6596a51eda2b02d2b79c1ee428cbe4a44061.zip | |
Bug alert message in 'fraig'.
| -rw-r--r-- | src/base/abci/abc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index ea041f67..e158a286 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -11096,7 +11096,8 @@ usage: sprintf( Buffer, "%d", pParams->nBTLimit ); Abc_Print( -2, "usage: fraig [-R num] [-D num] [-C num] [-rscpvtah]\n" ); Abc_Print( -2, "\t transforms a logic network into a functionally reduced AIG\n" ); - Abc_Print( -2, "\t (there are also newer fraiging commands, \"ifraig\" and \"dfraig\")\n" ); + Abc_Print( -2, "\t (known bugs: takes an UNSAT miter and returns a SAT one)\n"); + Abc_Print( -2, "\t (there are newer fraiging commands, \"ifraig\" and \"dfraig\")\n" ); Abc_Print( -2, "\t-R num : number of random patterns (127 < num < 32769) [default = %d]\n", pParams->nPatsRand ); Abc_Print( -2, "\t-D num : number of systematic patterns (127 < num < 32769) [default = %d]\n", pParams->nPatsDyna ); Abc_Print( -2, "\t-C num : number of backtracks for one SAT problem [default = %s]\n", pParams->nBTLimit==-1? "infinity" : Buffer ); |