Blank Query-lines makes verifyta spit out wrong results and not run all queries. #305
Description
Describe the bug
I have several queries in a model, and there are some blank lines between some of the queries.
When I run all the queries in the GUI, there are no errors.
When I run the queries command line with verifyta, get wrong results and only some results.
- There are 8 queries, but only the first 8 lines of the queries are outputted. This includes the blank lines, so 3 queries are not shown.
- One query appears twice but gives different results.
To Reproduce
Steps to reproduce the behavior:
- Download this model.
- Run with verifyta.
- See error
Expected behavior
That all queries are run and that the results are correct.
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 version "21.0.6" 2025-01-21