id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6372	Asserts in conditional equations are not handled correctly	Francesco Casella	Andreas Heuermann	"Please consider the following MWE
{{{
model M3
  Real x;
equation
  if time > 0.5 then
    x = time;
    assert(x > 0, ""error"");
  else
    x = 0;
  end if;
end M3;
}}}
At time = 0.501 the runtime fails with
{{{
The following assertion has been violated at time 0.502000
if time > 0.5 then x > 0.0 else true
}}}
Obviously there is something wrong with the way asserts are handled, apparently they still use some ""old value"".
"	defect	new	high		Run-time	1.18.0-dev			Karim Adbdelhak simone1.bosotti@… paolo.curatolo@…