Generating a satisfied requirements report (SysML)
Right-click the Model or a Package that contains the Requirements for which you want to report, point to Report, and then click Satisfied Requirements.
Note that in addition to the Model or Package you right-click, Modeler checks Requirements in any child Packages.
Modeler adds the satisfied Requirements to the Results pane.
A Requirement is reported as satisfied when it is linked to one or more items through a satisfy link.
A satisfied Requirement is reported as satisfied even if it has child Requirements that are not satisfied.