Project

General

Profile

Support #3155

Bug #3152: STL tour not loading

update STL AF3 tour with OCRA contracts

Added by Anonymous almost 3 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
11/13/2017
Due date:
% Done:

0%

Estimated time:

Description

Update the STL tour example with the one having OCRA contracts.

How to verify:
1) Open the Simple traffic light AF3 tour from the examples (File -> Open AF3 example)
2) Go to V&V dashboard of TLCSystem
3) You should be able to see the contracts
4) If you enable the "OCRA contracts" constraint from the constraints list then they should be triggered. And moreover, all constraints should pass.

History

#1 Updated by Anonymous almost 3 years ago

  • Description updated (diff)
  • Status changed from New to Resolved

#2 Updated by Anonymous almost 3 years ago

  • Assignee changed from Anonymous to Anonymous

#3 Updated by Anonymous almost 3 years ago

  • Target version changed from AF3 2.12 RC3 (Documented, code reviewed, tested) to AF3 2.12 Post-release

#4 Updated by Anonymous almost 3 years ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Anonymous)

Also available in: Atom PDF