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

Bug 669 - Variables not sent to simulator
Summary: Variables not sent to simulator
Status: ASSIGNED
Alias: None
Product: UPPAAL Stratego
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.20-6
Hardware: PC Linux
: P5 major
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2019-10-15 10:45 CEST by Frederik Baymler Mathiesen
Modified: 2019-11-05 11:16 CET (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Frederik Baymler Mathiesen 2019-10-15 10:45:06 CEST
In version 4.1.20-6, newly added variables on templates are not sent to the simulator.

To reproduce (MWE):

1. Start new project.
2. Add new state to Template.
3. Add transition from start to the new state.
4. Add `int x = 0;` in Template/declarations.
5. Open simulator.

Now, the variable is not present in variable list. If you save and reopen the project, the variable becomes present in the variable list.

Removing a variable from a declaration does not prompt for uploading the new model to the simulator (and thus it does not remove the variable from the simulator again).
Comment 1 Marius Mikučionis 2019-10-28 15:59:12 CET
I cannot reproduce it with Stratego-6 on Linux, I can see the variable x=0 under Process (it is a local declaration afterall).

Need more details, e.g. is it specific to Windows?
Comment 2 Frederik Baymler Mathiesen 2019-10-28 17:38:32 CET
First of all, it is not Windows specific, as I'm running Ubuntu 18.04.
Second, it is rather peculiar, as the issue is only with my laptop, but not my desktop despite both running Ubuntu 18.04. Any suggestions to what I can test?
Comment 3 Marius Mikučionis 2019-11-05 11:16:42 CET
OK, one step is missing:
one must open the simulator in between step 3 and step 4.

Updated MWE:

1. Start new project.
2. Add new state to Template.
3. Add transition from start to the new state.
4. Open simulator, observe the initial state.
5. Go back to the editor Add `int x = 0;` in Template/declarations.
6. Go to simulator, click "yes" to uopload the new model
7. Observe that the new variable is missing as if it is using the old model.

A workaround is to press F5 to reload the simulator, but it should not be neccessary.