id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2566	Parameters with fixed = false and binding equation should be reported	Francesco Casella	Lennart Ochel	"From the Modelica spec. 3.2 rev2, sect 8.6

In the case a parameter has both a binding equation and fixed = false, a diagnostics is recommended, but the parameter should be solved from the binding equation.

Try the following test case:

{{{
model TestParameterBinding
  parameter Real p(fixed = false) = 2;
initial equation
  p = 4;
end TestParameterBinding;
}}}

OMC complains about overdetermined initialization, but then gives p = 4 (instead of p = 2, as the specification requires) and does not issue any diagnostic message. I would recommend that a warning
such as:

Warning: the parameter p has fixed = false and a binding equation p = 2, which is probably redundant. 

In older versions of Dymola, the binding equation was silently  ignored in this case. It is still ignored, even though a warning is now issued. This is a possible cause of hard-to-understand errors with models that work fine in Dymola."	defect	new	high	1.9.1	Backend	trunk