.Modelica_Requirements.Examples.Elementary.Verify.Requirement

Information

Using the Requirement block as

results in

	simulation result

and gives the following output to the output window:

Requirements violated (1 of 3):
    (R_violated at 1.5 s): Input gives a violated requirement

Requirements untested (1 of 3):
    (R_Undecided): Input gives an undecided requirement

Requirements satisfied (1 of 3):
    (R_Satisfied): Input gives a satisfied requirement