Clocks' values are wrong in the concrete simulator

[rgu01]

Describe the bug If clocks (or hybrid clocks) are assigned concrete values, e.g., 1.0, the concrete simulator shows wrong values. When clicking "reload", the concrete simulator shows the right values.

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

Screenshots See the problem in the attachment. test.xml.zip

Desktop (please complete the following information):

• UPPAAL 5.1.0-beta5 (rev. C7C01B0740E14075), December 2023
• MacOS Sonoma 14.6.1, Java version: OpenJDK 21

[mikucionisaau]

Could you please add a screenshot? I do not see what is wrong here.

[rgu01]