Model:   Modelica.Electrical.Digital.Examples.HalfAdder
Time:    0.274 s
Success: true