From 10b6793d97f64039710a97088e3b529c3dc80558 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 22 Feb 2006 08:47:22 +0000 Subject: [PATCH] - More cleaning of switches. --- src/switches.c | 23 ++++++++++++++++------- 1 file changed, 16 insertions(+), 7 deletions(-) diff --git a/src/switches.c b/src/switches.c index dcc920e..309e2bf 100644 --- a/src/switches.c +++ b/src/switches.c @@ -511,8 +511,11 @@ switcher (const int process, int index, int commandline) { if (!process) { - helptext ("-C, --class", - "generate full class (show uninstantiated variables in state output)"); + if (switches.expert) + { + helptext ("-C, --class", + "generate full class (show uninstantiated variables in state output)"); + } } else { @@ -525,8 +528,11 @@ switcher (const int process, int index, int commandline) { if (!process) { - helptext ("-s, --state-space", - "ignore any existing claims and add 'reachable' claims. Generate full state space classes."); + if (switches.expert) + { + helptext ("-s, --state-space", + "ignore any existing claims and add 'reachable' claims. Generate full state space classes"); + } } else { @@ -612,7 +618,7 @@ switcher (const int process, int index, int commandline) if (!process) { helptext ("-r, --max-runs=", - "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 { @@ -634,7 +640,7 @@ switcher (const int process, int index, int commandline) if (!process) { 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 { @@ -1093,7 +1099,10 @@ switcher (const int process, int index, int commandline) { if (!process) { - helptext (" --plain", "disable color terminal output"); + if (switches.expert) + { + helptext (" --plain", "disable color terminal output"); + } } else {