Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Clocks' values are wrong in the concrete simulator #298

Open
rgu01 opened this issue Oct 15, 2024 · 2 comments
Open

Clocks' values are wrong in the concrete simulator #298

rgu01 opened this issue Oct 15, 2024 · 2 comments
Labels
bug Something isn't working confirmed GUI simulator

Comments

@rgu01
Copy link

rgu01 commented Oct 15, 2024

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
Copy link
Member

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

@rgu01
Copy link
Author

rgu01 commented Oct 15, 2024

image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working confirmed GUI simulator
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mikucionisaau @rgu01