Commit 0d50713d authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[cmd] Fix doc for invariant property (always occurs instead of never)

parent 66aa6060
...@@ -388,9 +388,8 @@ def main(): ...@@ -388,9 +388,8 @@ def main():
"In concrete terms, some entities can be activated by this " "In concrete terms, some entities can be activated by this "
"mechanism without modifying the model.") "mechanism without modifying the model.")
parser_input_file.add_argument('--inv_prop', nargs='?', default=None, parser_input_file.add_argument('--inv_prop', nargs='?', default=None,
help="Invariant property that will never occur during the simulation. " help="Invariant property that will always occur during the simulation. "
"The given logical formula will be enclose by a logical not() and " "The given logical formula will be checked at each step of the simulation.")
"will be checked at each step of the simulation.")
parser_input_file.set_defaults(func=solutions_search) parser_input_file.set_defaults(func=solutions_search)
......
...@@ -169,10 +169,9 @@ def search_entry_point( ...@@ -169,10 +169,9 @@ def search_entry_point(
of the model. of the model.
In concrete terms, some entities can be activated by this mechanism In concrete terms, some entities can be activated by this mechanism
without modifying the model. without modifying the model.
:param inv_prop: Formula: Invariant property that will never occur during :param inv_prop: Formula: Invariant property that will always occur during
the simulation. the simulation.
The given logical formula will be enclose by a logical not() and The given logical formula will be checked at each step of the simulation.
will be checked at each step of the simulation.
:param all_macs: If set to True (not default), search all macs with :param all_macs: If set to True (not default), search all macs with
less or equal the maxium of steps defined with the argument `steps`. less or equal the maxium of steps defined with the argument `steps`.
If set to False: The solver will search all solutions with the minimum If set to False: The solver will search all solutions with the minimum
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment