This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 671 - Invalid axis label in simulation graph
Summary: Invalid axis label in simulation graph
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL Stratego
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 minor
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2019-10-16 12:53 CEST by Frederik Baymler Mathiesen
Modified: 2019-12-18 14:35 CET (History)
0 users

See Also:
Architecture:

Attachments
MWE model (1.03 KB, text/xml)
2019-10-16 12:53 CEST, Frederik Baymler Mathiesen 		Details
Screenshot (25.52 KB, image/png)
2019-10-16 12:54 CEST, Frederik Baymler Mathiesen 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Frederik Baymler Mathiesen 2019-10-16 12:53:30 CEST 
Created attachment 336 [details]
MWE model

In version 4.1.20-6, the simulation graph has label of the x-axis consists mostly of "invalid character" characters. It should show "time".

I have attached a MWE, where you first check the query, right click and choose "Simulations (1)". Additionally, I have attached a screenshot showing the incorrect label.
Comment 1 Frederik Baymler Mathiesen 2019-10-16 12:54:02 CEST 
Created attachment 337 [details]
Screenshot
Comment 2 Marius Mikučionis 2019-10-25 16:47:42 CEST 
Yes, there is a memory issue, thanks for the report.
We are working on it.
Comment 3 Marius Mikučionis 2019-12-18 14:34:59 CET 
This has been fixed and released in stratego-7