Non determinism Analysis - Problem with NoVal
Possible nondeterminsim found!:
Guard of the first transition:
user_input == Pace_Now()
Guard of the second transition:
user_input == NoVal
(from redmine: issue id 655, created on 2012-02-16, closed on 2012-02-17)
- Uploads: