dump_fsm - Dumps (in DOT format) selected parts of the bdd fsm, with optional expression
dump_fsm [-h] -o filename [-i] [-I] [-t] [-f] [-r] [-e expression]
Dumps selected parts of the bdd fsm, with
optional expression, in DOT format. At least one among options
[iIte] must be specified.
Command Options:
-o filename
Dumps to the specified file name.
-i
Dumps the initial states of the FSM, among with other
selected outputs.
-I
Dumps the invariant states of the FSM, among with other
selected outputs.
-t
Dumps the (monolithic) transition relation of the FSM, among with other
selected outputs.
-F
Dumps the (monolithic) fair states of the FSM, among with other
selected outputs.
-r
Dumps the (monolithic) reachable states of the FSM, among with other
selected outputs.
-e
Dumps the specified expression, among with other
selected outputs (see also command dump_expr).
Last updated on 2012/11/18 14h:16