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

Bug 578

Summary: Random simulation is not stopped loading another model
Product: UPPAAL Reporter: Wei Zhao <zhaow>
Component: GUIAssignee: Wei Zhao <zhaow>
Status: ASSIGNED ---    
Severity: enhancement CC: adavid
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Linux   
Architecture:

Description Wei Zhao 2014-09-30 13:13:14 CEST
The simulation 'random' for 'symbolic simulator' and 'concrete simulator' is not stopped when I try to load another model.
Comment 1 Marius Mikučionis 2014-10-14 10:00:40 CEST
I think the concrete one is being stopped when the tab is deselected, but not the symbolic one. This non-stopping could be a feature when the user wants a random trace but does not want the window redrawing overhead.

Also it would be nice to have "turbo" mode for the fastest random simulation, where the GUI is redrawn only once per second or so, because right now it is forcing repainting every single time it changes, and thus unnecessary incurs significant overhead.

Anyway I leave it to you, Wei.