id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4242	missing assert	Vitalij Ruge	Lennart Ochel	"following example does not trigger an assert
{{{#!modelica
model tsatAssert
   parameter Real t = Modelica.Media.Water.IF97_Utilities.BaseIF97.Basic.tsat(-1);
end tsatAssert;
}}}
"	defect	new	low		Backend				Lennart Ochel