id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
5831	"Asserts with ""greater equal"" conditions do not detect equals case"	sven.baetzing@…	somebody	"A test model with an assert is implemented as follows:
{{{
model Model1
  Modelica.Blocks.Interfaces.RealInput u
    annotation (Placement(transformation(extent={{-120,-20},{-80,20}})));

equation
  assert(u>=0.0,""Error u has to be greater or equal than zero"");

  annotation (Icon(coordinateSystem(preserveAspectRatio=false)), Diagram(
        coordinateSystem(preserveAspectRatio=false)));
end Model1;
}}}

When connecting Model1.u with a ramp which goes down to zero the assert is falsely thrown. 

"	defect	closed	high	Future	*unknown*	v.1.15.0-dev	wontfix