luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Updated used message for 'back_reach'.

This commit is contained in:
Alan Mishchenko 2012-04-13 15:41:31 -07:00
parent 85f6d2526e
commit 7e21f01269
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/abci/abc.c
View File

@ -27574,7 +27574,7 @@ int Abc_CommandAbc9BackReach( Abc_Frame_t * pAbc, int argc, char ** argv )
usage:
Abc_Print( -2, "usage: &back_reach [-FCT <num>] [-vh]\n" );
Abc_Print( -2, "\t performs input trimming and reparameterization\n" );
Abc_Print( -2, "\t performs backward reachability by circuit cofactoring\n" );
Abc_Print( -2, "\t-F num : the limit on the depth of induction [default = %d]\n", nFrameMax );
Abc_Print( -2, "\t-C num : the conflict limit at a node during induction [default = %d]\n", nConfMax );
Abc_Print( -2, "\t-T num : the timeout for property directed reachability [default = %d]\n", nTimeMax );