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
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.6
Hardware: PC All
: P2 enhancement
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2008-11-10 19:10 CET by Marius Mikučionis
Modified: 2008-11-18 11:32 CET (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

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.