MalFormedJsonException

[NicolasBedon]

bug-json.txt

Describe the bug
MalFormedJsonException after execution trace generated by verifier has been inserted in symbolic simulator

To Reproduce

• Ask the verifyer to generate any trace
• Verify (A.Started && B.Started)-->(A.Self_id_end) in the attached system; the property is not verified and a trace is generated
• Enter the symbolic simulator, then the exception is generated and the trace can not be simulated

Expected behavior
Normal simulation of the trace

Version(s) of UPPAAL tested
UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21

Screenshots
Screenshot attached

Desktop (please complete the following information):
Debian 12
openjdk 17.0.12 2024-07-16
OpenJDK Runtime Environment (build 17.0.12+7-Debian-2deb12u1)
OpenJDK 64-Bit Server VM (build 17.0.12+7-Debian-2deb12u1, mixed mode, sharing)

[mikucionisaau]

Thank you for the report.
I can reproduce the issue with UPPAAL-5.0.0, but not with UPPAAL-5.1.0-beta5 -- looks like this particular bug has been fixed there, so we need to backport the fix to 5.0.0.