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

Plotting array of doubles causes values to be truncated #297

Open AsgerHB opened 1 month ago

AsgerHB commented 1 month ago

Describe the bug

Plotting an array of doubles, eg double numbers[3] = {-1.99, 0.99, 1.99}; with something like

simulate[<=10;1] {numbers}

will cause the numbers to be truncated in the plot:

billede

This does not happen in the concrete simulator, nor does it happen if you plot individual doubles.

To Reproduce

Array Plotting Error.zip

Expected behavior The plot should show values close to -2, 1, and 2.

Version(s) of UPPAAL tested UPPAAL 5.1.0-beta5 (rev. C7C01B0740E14075), 2023-12-11

UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21

Desktop (please complete the following information):