When simulating a counterexample the state machines are not animated
it seems that the “current state” of a state machine is not contained in the counterexample
(from redmine: issue id 1593, created on 2013-08-06, closed on 2013-08-09)
it seems that the “current state” of a state machine is not contained in the counterexample
(from redmine: issue id 1593, created on 2013-08-06, closed on 2013-08-09)