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

Uh oh!
There was an error while loading. Please reload this page.
-
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