JavaRunTime exception in OCRA contracts
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
Result: there is a runtime exception in the console
(from redmine: issue id 3352, created on 2018-03-28, closed on 2018-05-22)
- Relations:
- relates #3413 (closed)