andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- More cleaning of switches.

Browse Source
This commit is contained in:
ccremers 2006-02-22 08:47:22 +00:00
parent 5ddcdfed22
commit 10b6793d97
1 changed files with 16 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/switches.c
View File

@ -510,10 +510,13 @@ switcher (const int process, int index, int commandline)
if (detect ('C', "class", 0)) if (detect ('C', "class", 0))
{ {
if (!process) if (!process)
{
if (switches.expert)
{ {
helptext ("-C, --class", helptext ("-C, --class",
"generate full class (show uninstantiated variables in state output)"); "generate full class (show uninstantiated variables in state output)");
} }
}
else else
{ {
switches.concrete = false; switches.concrete = false;
@ -524,9 +527,12 @@ switcher (const int process, int index, int commandline)
if (detect ('s', "state-space", 0)) if (detect ('s', "state-space", 0))
{ {
if (!process) if (!process)
{
if (switches.expert)
{ {
helptext ("-s, --state-space", helptext ("-s, --state-space",
"ignore any existing claims and add 'reachable' claims. Generate full state space classes."); "ignore any existing claims and add 'reachable' claims. Generate full state space classes");
}
} }
else else
{ {
@ -612,7 +618,7 @@ switcher (const int process, int index, int commandline)
if (!process) if (!process)
{ {
helptext ("-r, --max-runs=<int>", helptext ("-r, --max-runs=<int>",
"maximum number of runs in the system [5]. Set to 0 for unbounded search"); "maximum number of runs in the system [defaults to 5]");
} }
else else
{ {
@ -634,7 +640,7 @@ switcher (const int process, int index, int commandline)
if (!process) if (!process)
{ {
helptext (" --unbounded", helptext (" --unbounded",
"Do not bound the number of runs in the state space."); "Do not bound the number of runs in the state space");
} }
else else
{ {
@ -1092,9 +1098,12 @@ switcher (const int process, int index, int commandline)
if (detect (' ', "plain", 0)) if (detect (' ', "plain", 0))
{ {
if (!process) if (!process)
{
if (switches.expert)
{ {
helptext (" --plain", "disable color terminal output"); helptext (" --plain", "disable color terminal output");
} }
}
else else
{ {
switches.plain = true; switches.plain = true;