.
OpenIPSL
.
Icons
.
VerifiedModel
Icon for classes that were verified
Information
This partial class is intended to provide a
default icon for a verified model
that has been tested.
Generated at 2025-09-18T18:21:15Z by
OpenModelica
OpenModelica 1.25.4 using
GenerateDoc.mos
.OpenIPSL.Icons.VerifiedModel .OpenIPSL.Icons.VerifiedModel