search

UPPAALModelChecker / UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
http://www.uppaal.org
1 stars 0 forks source link

MalFormedJsonException #296

Open NicolasBedon opened 1 month ago

NicolasBedon commented 1 month ago

bug-json.txt Capture d’écran du 2024-10-10 15-56-31 Describe the bug MalFormedJsonException after execution trace generated by verifier has been inserted in symbolic simulator

To Reproduce

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 commented 1 month ago

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.