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

Bug 577 - Execute 'processXMLSystem3' two times
Summary: Execute 'processXMLSystem3' two times
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 enhancement
Assignee: Marius Mikučionis
Depends on:
Reported: 2014-09-30 12:58 CEST by Wei Zhao
Modified: 2014-10-14 09:54 CEST (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Wei Zhao 2014-09-30 12:58:55 CEST

Comment 1 Wei Zhao 2014-09-30 13:06:42 CEST
The uppaal server execute two times 'processXMLSystem3': Loading the new model and switch to simulation tab.
Comment 2 Marius Mikučionis 2014-09-30 13:12:18 CEST
Wei, this "loading twice" is done intentionally, because compiler needs two passes in order to initialize templates.
Fix is going to be complicated.