V&V Dashboard: "Go to Component" is non-functional
How to reproduce.
1. Open SimpleTrafficLight Tour Example
2. Open the Controller Cgmponent
3. go to the V&V tab
3. Open neverTrafficAndPedstrianSignal
4. Change “Green()” to “Red()”
5. Save
6. Activate the “all OCRA contracts …” constraint
7. Go back to the Controller view, there is an ERROR shown in the
status
8. Right click and select the “go to controller” option on the top
Observe that nothing happens, should there be a jump-back to the model editor?
(from redmine: issue id 3413, created on 2018-05-17, closed on 2018-05-28)
- Relations:
- relates #3352 (closed)