Author: niels
Date: Mon May 26 22:07:19 2014
New Revision: 9465
URL: http://svn.gna.org/viewcvs/service-tech?rev=9465&view=rev
Log:
* small change for better Manpage
Modified:
trunk/lola2/src/cmdline.ggo
Modified: trunk/lola2/src/cmdline.ggo
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/cmdline.ggo?rev=9465&r1=9464&r2=9465&view=diff
==============================================================================
--- trunk/lola2/src/cmdline.ggo (original)
+++ trunk/lola2/src/cmdline.ggo Mon May 26 22:07:19 2014
@@ -1,11 +1,14 @@
args "--include-getopt --show-required --unamed-opts=FILE --no-handle-error"
+
+description "About LoLA:"
+purpose "LoLA: a low-level analyzer.\n\nReport bugs to
[email protected].\nVisit LoLA's home page at
http://service-technology.org/lola";
section "Verification Problem"
sectiondesc="The verification problem specifies the question that LoLA is
supposed to answer.\n"
option "check" c
"Verify a property"
- details = "The type of property to be verified by LoLA is selected. \n\n*
deadlock: LoLA searches the state space for states that do not enable any
transition (deadlocks). Search terminates as soon as a deadlock is found, or
all states have been visited. \n* modelchecking: A given temporal logic formula
(e.g. specified using the --formula option) is evaluated while generating the
state space. Search terminates as soon as the value of the formula is
determined. \n* full: All reachable states are computed without evaluating any
property. This is useful for determining the size of a (reduced) state space.
\n* none: No state space search is performed at all. This is useful for just
getting statistical data for the net and pre-processing information.\n"
+ details = "The type of property to be verified by LoLA is selected.\n\n*
deadlock: LoLA searches the state space for states that do not enable any
transition (deadlocks). Search terminates as soon as a deadlock is found, or
all states have been visited.\n\n* modelchecking: A given temporal logic
formula (e.g. specified using the --formula option) is evaluated while
generating the state space. Search terminates as soon as the value of the
formula is determined. \n* full: All reachable states are computed without
evaluating any property. This is useful for determining the size of a (reduced)
state space.\n\n* none: No state space search is performed at all. This is
useful for just getting statistical data for the net and pre-processing
information.\n"
values="none","full","deadlock","modelchecking" enum
typestr="PROPERTY"
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
