id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1459	Algorithm sections do not handle assertions in all cases	Martin Sjölund	Martin Sjölund	"In this code, only the equation-assertion is statically checked during translation. We can also remove assertions from algorithm-sections.
Furthermore, the assertions in the algorithm-section do not seem to be called (or at least: they don't cause assertions).

An algorithm block seems to be removed if it does not define any variable (r was added to this example to get the code to run; tested with print(""abc"") to make sure).
{{{
algorithm
  if time<1.5 then
    myAssert(time<0.5, ""time>=0.5"");
    assert(time<0.75, ""time>=0.75"");
  end if;
  assert(false, ""time>=0.35"");
  r := 1.5;
equation
  assert(false, ""time>=0.35"");
}}}"	defect	closed	high	1.9.1	Backend		fixed		Martin Sjölund Frenkel TUD Willi Braun