id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4563	State machine reset error	Bernhard Thiele	Bernhard Thiele	"Resetting of nested state machines does not work correctly.

The attached test case of following nested state machine fails to correctly activate the states.

[[Image(NestedStateMachine.png)]]

Investigation of the problem suggests that one of the equations in section 17.3.4 ""Semantics Summary"" in the MLS v3.3r1 is probably wrong. In the equation below from the MLS the condition `if selectedState == i` should probably be `if activeState == i` instead.

{{{#!modelica
Boolean nextResetStates[nStates] = if active then {if selectedState == i then false else activeResetStates[i] for i in 1:nStates}
else previous(nextResetStates);
}}}

I will provide a fix for OpenModelica soon and will also fill a ticket for the MLS in order to clarify the issue."	defect	closed	high	1.13.0	Frontend	v1.13.0-dev-nightly	fixed		berger@… Olena Rogovchenko Lennart Ochel