Modelica.Blocks.Examples.PID_Controller in MSL 3.1 not balanced

[petar]

Check of Modelica.Blocks.Examples.PID_Controller in MSL 3.1 gives:

"Check of Modelica.Blocks.Examples.PID_Controller completed.
Class Modelica.Blocks.Examples.PID_Controller has 75 equation(s) and 76 variable(s).
40 of these are trivial equation(s).
"

I.e. not balanced.

MathCore TRAC: ​http://intranet/trac/mathmodelica/ticket/2724

[sjoelund.se]

Closing this as it works in trunk, and was probably fixed previously. I had to add support for ignoring assertions in if-equations so checkModel succeeds (OpenModelica doesn't support it, so we need to ignore it in order to count equations...):

"Check of Modelica.Blocks.Examples.PID_Controller completed successfully.

dev/tmp/FullModelica3.1.mo:95889:11-95891:9:writable Warning: If-equations are only partially supported. Ignoring assert(PI.limiter.u >= PI.limiter.uMin - 0.01 * abs(PI.limiter.uMin) AND PI.limiter.u <= PI.limiter.uMax + 0.01 * abs(PI.limiter.uMax),"Limiter: During initialization the limits have been ignored.\n" + "However, the result is that the input u is not within the required limits:\n" + " u = " + String(PI.limiter.u,0,true,6) + ", uMin = " + String(PI.limiter.uMin,0,true,6) + ", uMax = " + String(PI.limiter.uMax,0,true,6));

Class Modelica.Blocks.Examples.PID_Controller has 76 equation(s) and 76 variable(s).
40 of these are trivial equation(s).
"