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

Bug 181

Summary: Random simulation destroys the trace anyway
Product: UPPAAL Reporter: Saulius Pusinskas <saulius>
Component: GUIAssignee: Mads Schaarup Andersen <masa>
Severity: normal CC: behrmann
Priority: P2    
Version: 3.5.8   
Hardware: All   
OS: All   

Description Saulius Pusinskas 2005-08-05 13:16:32 CEST
Sequence of actions is needed to trigger the bug:
1. Load the model and produce some trace using UppAal verifier.
2. Return to the simulation window and select any, but not last, step in the trace
3. Press the button "Random".
Dialog box appears "Warning: this will destroy a part of the trace! Continue?"

After pressing "No", same dialog box keeps opening again.
Comment 1 Gerd Behrmann 2005-08-05 20:28:21 CEST
Comment 2 Gerd Behrmann 2005-08-06 09:37:04 CEST
Mads, this might be another easy bug for you to fix.

The problem is that the random simulation is run by an extra thread. This thread doesn't notice that you 
answer no to the overwrite question, thus it continous to periodically select a transition.
Comment 3 Mads Schaarup Andersen 2005-08-10 15:14:17 CEST
A fix has been checked into cvs.