id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6181	Boolean incorrectly evaluated and asserts, implying negative time?	craig.fletcher@…	somebody	"''The following asserts time is less than zero.  Did not assert in previous versions of OMC''

model DebugInitialValue
  
  model BooleanPulse
    input Real width(start=0.5);
    output Boolean y;
  equation
    y = time < width;
  end BooleanPulse;

  class DayNightCycle
    parameter Real earth_day_period=24;
    Real daylight_ratio;
    BooleanPulse daylight(width=daylight_ratio);
  end DayNightCycle;

  parameter Real ratio_start=0;
  Real _ratio;
  DayNightCycle cycle(daylight_ratio=_ratio); //FAILS.  Will work if changed to daylight_ratio=0 here.

algorithm
  _ratio := ratio_start;
  if not initial() then 
    assert(cycle.daylight.y==false,""oops"",level=AssertionLevel.warning);
  end if;

end DebugInitialValue;"	defect	new	high	1.16.1	*unknown*	v1.16.0-dev