print_reachable_states - Prints out the number of reachable states.


print_reachable_states [-h]

Prints the number of reachable states of the given model. The reachable states are computed if needed.


Last updated on 1011105 17h14