UPPAAL
-
|
For my thesis I use svg exports of my Uppaal models/templates. Today I found out that turning on or off the grid in the Uppaal view has a huge effect on the file size and canvas size of the resulting svg files. Even though the grid is not shown in the svg image when the grid is turned on in Uppaal. I believe this is a bug. Uppaal version used: 4.1.26 (but issue also observed in 4.1.25-5 |
Beta Was this translation helpful? Give feedback.
Answered by
jildert17
Dec 23, 2021
Replies: 1 comment
-
|
I should have created an issue for this instead of a discussion. I now did so, so this thread can be deleted/ignored. See #60 |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
yrke
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I should have created an issue for this instead of a discussion. I now did so, so this thread can be deleted/ignored.
See #60