Replies: 1 comment 5 replies
-
That's likely a graphics driver issue. |
Beta Was this translation helpful? Give feedback.
5 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I encountered the problem shown below when using the UPPAAL GUI on my ubuntu 22.04 VM:
UPPAAL version : UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21
Beta Was this translation helpful? Give feedback.
All reactions