This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 451

Summary:	switch-case-default statement is not supported
Product:	UPPAAL	Reporter:	Marius Mikučionis <marius>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	ASSIGNED ---
Severity:	enhancement
Priority:	P2
Version:	4.0.6
Hardware:	PC
OS:	All
Architecture:

Description Marius Mikučionis 2008-11-10 19:10:58 CET

there are some traces of switch statement support in libutap, but it is not turned on and it seems it is completely lacking in the engine.

Comment 1 Marius Mikučionis 2008-11-18 11:32:07 CET

as a related note, the keywords "break" and "continue" are in a similar state.