id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2488	noEvent doesnt work correctly	fixed-term.Sven.Baetzing@…	somebody	"Hello,

I am using the nightly build from 20.11.2013.
In one of my models I am using the noEvent-operator, but it doesnt work correctly.

I reduced the model to a minimal and the error still apear.

The variable should be either s or Smax, depending on the movement of s.
If s should be smaller then a previous smax should hold on the maximum.

Find the model attached"	defect	closed	high	Future	Frontend	trunk	invalid