.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-07-08T18:21:06Z by OpenModelicaOpenModelica 1.25.1 using GenerateDoc.mos