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

Bug 168

Summary: Delays not shown in simulator
Product: UPPAAL Reporter: Ferdy Hanssen <hanssen>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: minor    
Priority: P1    
Version: 3.5.7   
Hardware: PC   
OS: Linux   
Architecture:

Description Ferdy Hanssen 2005-06-24 14:00:24 CEST
When viewing a trace in the simulator and observing a state in which a delay
takes place, only the values of the clocks at the end of the delay are shown.

When you look closely, you can see that the clock ranges are drawn first (in
black), and immediately afterwards the end values are drawn over them (in blue).
Comment 1 Gerd Behrmann 2005-06-24 14:04:53 CEST
When an enabled transition is selected in the simulator, only the valuations in which the transition is 
enabled are shown. This is indicated by blue. If no transition is selected, all valuations of the zone are 
shown (in which case the variables are shown in black).

I believe this is described in the help system.
Comment 2 Ferdy Hanssen 2005-06-24 14:09:16 CEST
But when I select a state in the MSC, a transition is automatically selected in
version 3.5.7.  And I cannot unselect it.

In version 3.4.11 clicking on a state in the MSC does not select a transition,
thus showing the valuations in black (including the clock ranges).
Comment 3 Gerd Behrmann 2005-06-29 17:54:42 CEST
Ok, this is an unfortunate behaviour. I will see if we can get the old behaviour back.

BTW: You can unselect the currently selected transition by ctrl+clicking it in the list of enabled transitions.
Comment 4 Gerd Behrmann 2005-12-15 23:54:13 CET
Fixed on the trunk.