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

Unspecified delay due to missing invariant and exponential rate bug #291

Open
JacobGuld opened this issue Sep 26, 2024 · 0 comments
Open

Unspecified delay due to missing invariant and exponential rate bug #291

JacobGuld opened this issue Sep 26, 2024 · 0 comments
Assignees
@mikucionisaau
Labels
bug Something isn't working confirmed

Comments

@JacobGuld
Copy link

Describe the bug
Tried to run the query: simulate[<=100]{px,py} under Goal my model.
vectorRace.xml.zip

To Reproduce
Steps to reproduce the behavior:

  1. Go to verifier
  2. Check the query : simulate[<=100]{px,py} under Goal
  3. See error

Expected behavior
A clear and concise description of what you expected to happen.

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

Screenshots
Screenshot 2024-09-26 at 11 02 03

Desktop (please complete the following information):

  • Version: UPPAAL 5.1.0-beta5
  • OS, Java version: [macos Sonoma v14.6.1, openjdk version "22.0.2"]

Additional context
Add any other context about the problem here.
@mikucionisaau mikucionisaau added bug Something isn't working confirmed labels Sep 26, 2024
@mikucionisaau mikucionisaau self-assigned this Sep 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mikucionisaau mikucionisaau

Labels
bug Something isn't working confirmed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mikucionisaau @JacobGuld