id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1702	Reject comparison Integer == Enum	Martin Sjölund	Martin Sjölund	"{{{model M
  type L = enumeration('0','1');
  L logic = L.'1';
  Boolean b = logic == 0;
end M;}}}"	defect	closed	high				fixed		Martin Sjölund