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

Bug 451 - switch-case-default statement is not supported
Summary: switch-case-default statement is not supported
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.6
Hardware: PC All
: P2 enhancement
Assignee: Alexandre David
Depends on:
Reported: 2008-11-10 19:10 CET by Marius Mikučionis
Modified: 2008-11-18 11:32 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.