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

"Cannot generate a trace" error when priorities over processes are used #292

Open

mikucionisaau opened this issue Oct 3, 2024 · 0 comments

Labels

Member

mikucionisaau commented Oct 3, 2024

Describe the bug
Trace generation is failing on liveness property when priorities over processes are used.

To Reproduce
Steps to reproduce the behavior:

Open the model new_sync_template_data.zip
Go to Verifier
Select the first property (if has diagnostic trace enabled option)
Click check
Observe the error

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

Version(s) of UPPAAL tested

UPPAAL-5.0.0
UPPAAL-5.1.0-beta5

Screenshots

Desktop (please complete the following information):

Linux, but others are most likely also affected.

Additional context
Originally reported on UPPAAL GoogleGroup, 30 Sept 2024, 12:39:16 by Sailesh Sai Teja:
https://groups.google.com/g/uppaal/c/z0FHWoVj_1U

mikucionisaau added bug confirmed labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment