Sublibrary 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)

Generated at 2021-01-16T01:58:43Z by OpenModelicaOpenModelica 1.17.0~dev-334-g2cb7e95 using GenerateDoc.mos