simulate - Performs a simulation from the current selected state
simulate [-h] [-p | -v] [-r | -i [-a]] [-c "constraints"] steps
Generates a sequence of at most steps states (representing a
possible execution
of the model), starting from the current state (that has to be set by the
pick_state or goto_state commands). It is possible to run the
simulation in three ways (according to different command line policies):
deterministic (the default mode) random and interactive.
The resulting sequence is stored in a trace indexed with an integer number
taking into account the total number of traces stored in the system. There is
a different behavior in the way traces are builded, according to how
current state is set: current state is always put at the beginning
of a new trace (so it will contain at most steps + 1 states) except when it is
the last state of an existent old one. In this case the old trace is
lengthened by at most steps states.
Command Options:
- -p
- Prints current generated trace (only those variables that have changed
their value from previous state).
- -v
- Verbosely prints current generated trace (changed and unchanged state
variables).
- -r
- Picks a state from a set of possible future states in a random way.
- -i
- Enables the user to interactively choose every state of the trace,
step by step. If the number of possible states is too high, then the user
has to specify some constraints as simple expression. These constraints
are used only for a single simulation step and are forgotten in the
next ones. They are to be intended in an opposite way with respect to those
constraints eventually entered for the pick_state command, or during an
interactive simulation session (when the number of future states to
be displayed is too high), that are local only to a single step of the
simulation and are forgotten in the next one.
- -a
- Display all the state variables (changed and unchanged) during every
step of an interactive session. This option works only if the
-i option has been choosen.
- -c "constraints"
- Performs a simulation in which computation is restricted to states
satisfying those constraints. The desired sequence of states could
not exist if such constraints were too strong (or it may happen that
at some point of the simulation a future state satisfying those constraints
doesn't exist: in that case a trace with a number of states less than
steps trace is obtained).
Note: constraints must be enclosed between double quotes " ".
- steps
- Maximum length of the path according to the constraints. The length of
a trace could contain less than steps states: this is the case in which
simulation stops in an intermediate step because it may not exist any future
state satisfying those constraints.
Last updated on 990908 16h51