.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-04-26T18:20:16Z by OpenModelicaOpenModelica 1.25.0 using GenerateDoc.mos