The NF does not count variables correctly when conditional components are involved

[Francesco Casella]

Consider the following test model

model Test
  extends Modelica.Blocks.Interfaces.SO;
  parameter Boolean use_u = true;
  Modelica.Blocks.Interfaces.RealInput u if use_u;
protected
  Modelica.Blocks.Interfaces.RealInput u_internal;
equation
  y = u_internal;
  connect(u, u_internal) "Automatically removed if u is disabled";
  if not use_u then
    u_internal = 0;
  end if;
end Test;

The model is balanced and works correctly. However, if I check it I get:

Class Test has 2 equation(s) and 1 variable(s).

I understand the reason is that the NF ignores the fact that u_internal is protected and thus incorrectly removes it from the set of unknown variables.

[Per Östlund]

Maybe fixed in ​#503.

This isn't actually a NF issue, but an issue with CheckModel which operates on the DAE after the NF is done. You get the same result when using the OF in fact.

[Francesco Casella]

Thank you Per for the quick fix!

[Francesco Casella]

Release 1.15.0 was scrapped, because replaceable support eventually turned out to be more easily implemented in 1.16.0. Hence, all 1.15.0 tickets are rescheduled to 1.16.0