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

Bug 444

Summary: Select over dynamic types
Product: UPPAAL Reporter: Ludovic Apvrille <ludovic.apvrille>
Component: GUIAssignee: Alexandre David <adavid>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P2    
Version: 4.0.6   
Hardware: PC   
OS: All   
Architecture:

Description Ludovic Apvrille 2008-06-11 17:06:48 CEST
Currently, it is only possible to put static values in select operations such as x : int[n0, n1].
Thanks for adding that functionality!