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

Bug 578 - Random simulation is not stopped loading another model
Summary: Random simulation is not stopped loading another model
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 enhancement
Assignee: Wei Zhao
URL:
Depends on:
Blocks:
 
Reported: 2014-09-30 13:13 CEST by Wei Zhao
Modified: 2014-10-14 10:00 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.