.Buildings.Controls.OBC.CDL.Logical.Validation.Proof

Validation model for the Proof block

Information

Validation test for the block Buildings.Controls.OBC.CDL.Logical.Proof. The following tests are implemented:

Revisions


Generated at 2025-09-13T18:21:12Z by OpenModelicaOpenModelica 1.25.4 using GenerateDoc.mos