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:37