Describe the bug
I want to visualize a boolean clock expression in a simulation query simulate [<= 10] {c >= 5},
where c is a clock, and c >= 5 is a Boolean expression evaluated to 0 or 1.
The Boolean expression results in a segfault when running the query both in the simulated and via verifyta.
To Reproduce
Steps to reproduce the behavior:
- Download clock_guard_error.zip
- Execute the second query.
- See error
Expected behavior
That the boolean expression is evaluated to 0 or 1 and shown in the resulting graph.
Version(s) of UPPAAL tested
UPPAAL 5.0.0 (rev. 714BA9DB36F49691), June 2023
Desktop (please complete the following information):
Ubuntu 24.04.2 LTS
openjdk 21.0.6 2025-01-21
Describe the bug
I want to visualize a boolean clock expression in a simulation query
simulate [<= 10] {c >= 5},where
cis a clock, andc >= 5is a Boolean expression evaluated to 0 or 1.The Boolean expression results in a segfault when running the query both in the simulated and via verifyta.
To Reproduce
Steps to reproduce the behavior:
Expected behavior
That the boolean expression is evaluated to 0 or 1 and shown in the resulting graph.
Version(s) of UPPAAL tested
UPPAAL 5.0.0 (rev. 714BA9DB36F49691), June 2023
Desktop (please complete the following information):
Ubuntu 24.04.2 LTS
openjdk 21.0.6 2025-01-21