Model checking on higher hierarchical components
It is not possible to check a property on components that are high in a hierarchy.
(from redmine: issue id 1606, created on 2013-08-12, closed on 2013-09-26)
It is not possible to check a property on components that are high in a hierarchy.
(from redmine: issue id 1606, created on 2013-08-12, closed on 2013-09-26)