Unreachable states are not displayed
In the acc model (after todays “update to head”) i tried the function
“find unreachable states” in the component SpeedPlauzibilization.
If I now just add a new state without connecting it to any other state
it makes me in my opinion unreachable. If I know perform the analysis, I
get the feedback that there is an unreachable state but doesnt display
it in the “unreachable states” field.
(from redmine: issue id 1699, created on 2013-09-11, closed on 2013-09-26)