.Modelica_Requirements.Verify

Information

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.

Contents

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 2019-09-22T01:36:51Z by OpenModelicaOpenModelica 1.14.0~dev-26741-gf7ba6ee using GenerateDoc.mos