| commit | b800eb0336a190ed53da90a2b7216a35bfbfdb23 | |
| author | David Brownell <dbrownell@users.sourceforge.net> | |
| Sat, 9 Jan 2010 04:16:05 +0000 (8 20:16 -0800) | ||
| committer | David Brownell <dbrownell@users.sourceforge.net> | |
| Sat, 9 Jan 2010 04:16:05 +0000 (8 20:16 -0800) | ||
| tree | 6518ae58ec1510458c93546756d38b08b4eed7ef | treesnapshot (tar.gz zip) |
| parent | 1a2c258ed4537ca95b50e1f9e776215d82de2a86 | commitdiff |
*SVF: help/usage updates
Usage messages should use the same EBNF as the User's Guide;
no angle brackets. Be more complete too ... some params were
missing.
Don't use "&function"; its name is its address.
Unrelated: fix typo in one "target.c" usage message.
Signed-off-by: David Brownell <dbrownell@users.sourceforge.net>
Usage messages should use the same EBNF as the User's Guide;
no angle brackets. Be more complete too ... some params were
missing.
Don't use "&function"; its name is its address.
Unrelated: fix typo in one "target.c" usage message.
Signed-off-by: David Brownell <dbrownell@users.sourceforge.net>
| src/svf/svf.c | diffblobblamehistory | |
| src/target/target.c | diffblobblamehistory | |
| src/xsvf/xsvf.c | diffblobblamehistory |