In "Assume/Guarantee Reasoning" view, I cannot check assume/guarantee of components with state automatons or mode automatons
error message “Cannot run the tool! Reason, please open a COMPONENT in
the editor” appears.
But if the component is atomic and has a state automaton, I cannot open
the required component view.
It should work in the way that I just select a component in a component
architecture overview.
To be sure that the right component is analyzed, the current selected
component name shoud be shown in the “Assume/Guarantee Reasoning” view.
(from redmine: issue id 974, created on 2012-09-05, closed on 2018-02-14)
- Relations:
- parent #959 (closed)