[Analysis] Reachability analysis: no state is offered for selection for trace
- Open the simple traffic light
- Activate reachability
- Navigate till the “Merge” component
- Open the V&V Dashboard
- Click on “More” for “All states are reachable”
Observe: no state is displayed
Expected: state “Merge” should be displayed
(from redmine: issue id 2788, created on 2016-12-19, closed on 2017-02-20)