Consider access path to ports in verification conditions for the Semantic Inspector
- for the model attached
- open the Semantic Inspector
- goto Verification Patterns
- set the verification context to be ComponentArchitectureRoot;
- in absence globally we should be able to write:
Component1.Output == Component2.Output
(from redmine: issue id 1677, created on 2013-09-04, closed on 2014-02-13)
- Uploads: