id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
5479	OMC accepts invalid equations with conditional components	Francesco Casella	Per Östlund	"Please check the following model:
{{{
model M
  parameter Boolean p = true;
  Real x;
  Real y if p;
equation
  x= 10;
  if p then 
    y = 20;
  end if;
end M;
}}}

As far as I am concerned, I would be inclined to say that this model is valid. However, the Modelica Specification section 4.4.5 states explicitly
  A component declared with a condition-attribute can only be modified and/or used in connections

So, as I understand, {{{M}}} is not valid Modelica. However, both the OF and the NF accept this model and simulate it."	defect	closed	high	2.0.0	New Instantiation		fixed		Andrea Bartolini