.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-29T18:21:04Z by OpenModelicaOpenModelica 1.25.1 using GenerateDoc.mos