id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1850	Discrete variables are counted for over/underconstrained system	Christoph Höger	Willi Braun	"The model below (developed by Bill Jansen) is not really underconstrained, but omc claims it to be.

{{{
#!mo
model Test
     Real v (start = 10, fixed = true);

     type operatingModes = enumeration(up, down);
     operatingModes operating_mode (start = operatingModes.up, fixed = true);

   equation
     if operating_mode == operatingModes.up then
       der(v) = 1;
     else
       der(v) = -1;
     end if;

end Test;
}}}

note, that adding a dummy algorithm (equation seems not to work) works around this bug:

{{{
#!mo
algorithm
    when false then
        operating_mode := operatingModes.up;
    end when;
}}}
"	defect	closed	high	1.9.0	Backend		invalid