id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4527	Clocked state machine run-time assert dimension error	Bernhard Thiele	Bernhard Thiele	"Some state machines will fail at run-time with an error similar to:

{{{
assert            | error   | Dimension 1 has bounds 1..1, got array subscript 2
}}}

This kind of error can happen for state machines that have more states than transitions. The reason is a bug when setting an array limit in one of the generated semantic equations governing the state machine. Fix follows soon."	defect	closed	high	1.12.0	Frontend		fixed		Olena Rogovchenko Adrian Pop berger@…