Concrete simulator displayes wrong clock values

[mikucionisaau]

Describe the bug
Concrete Simulator shows wrong clock values as if different clocks are being reset.

For example, in this simple model globalTime and extra are not used, only x is used, but the simulator shows that globalTime is being reset, x is not touched and extra does not even show any value.

Workaround: reload the engine (press F5) and observe the expected behavior:

To Reproduce
Steps to reproduce the behavior:

1. Load the model: bug-in-concrete-simulator-clock-values.xml
2. Switch to Concrete Simulator
3. Press Random to generate a trace
4. Observe clock x grow, while globalTime is being reset.

Expected behavior
Clock x should be reset and extra clock should grow together with globalTime.

Version(s) of UPPAAL tested
UPPAAL-5.1.0-beta5
UPPAAL-5.0.0

Desktop (please complete the following information):

• Linux
• JDK25