From 759c6596a51eda2b02d2b79c1ee428cbe4a44061 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 10 Mar 2011 11:48:25 -0800 Subject: Bug alert message in 'fraig'. --- src/base/abci/abc.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/base/abci/abc.c') 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 ); -- cgit v1.2.3