goto_state - Goes to a given state of a trace


goto_state [-h] state

Makes state the current state. This command is used to navigate alongs traces produced by NuSMV. During the navigation, there is a current state, and the current trace is the trace the current state belongs to.


Last updated on 2009/03/04 12h:51