update STL AF3 tour with OCRA contracts
Update the STL tour example with the one having OCRA contracts.
How to verify:
- Open the Simple traffic light AF3 tour from the examples (File -> Open AF3 example)
- Go to V&V dashboard of TLCSystem
- You should be able to see the contracts
- If you enable the “OCRA contracts” constraint from the constraints list then they should be triggered. And moreover, all constraints should pass.
(from redmine: issue id 3155, created on 2017-11-13, closed on 2017-11-14)
- Relations:
- parent #3152 (closed)