.Modelica_Requirements.Verify .Modelica_Requirements.VerifySublibrary Verify contains components to evaluate whether requirements are satisfied, violated, or not tested and to print the result of this assessment after the simulation run to the output window.
| Name | Description |
|---|---|
| PrintViolations | Print violated, untested and satisfied requirements at end of simulation (drag in top level of your model) |
| Requirement | Check requirement defined by Property input property (property shall be Property.Satisfied) |
 BooleanRequirement | Check requirement defined by Boolean input u (u shall be true for a satisfied requirement) |