Bug 451

Summary: switch-case-default statement is not supported
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: EngineAssignee: 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.