.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-08T18:21:01Z by OpenModelicaOpenModelica 1.25.3 using GenerateDoc.mos