print_reachable_states - Prints out the number of reachable states. In verbose mode, prints also the list of reachable states.
print_reachable_states [-h] [-v]
Prints the number of reachable states of the
given model. In verbose mode, prints also the list of all reachable states.
The reachable states are computed if needed.