When I download the mac version of uppaal The jar file runs but produces an immediate index out of bounds exception. The most obvious reason for the problem is that my mac is apple silicon, not intel, but it could also be something else. I'm tunning Monterey (mac OS 12.6) and Jave 19.
Asked
Active
Viewed 87 times
0
-
I think there was a change in treatment of `String` operations between Java 11 and later, so Uppaal GUI fails with Java 19. You can try downgrading Java to 11, or try Uppaal Stratego from the Download section of uppaal.org, which has fixed and improved many features, especially for macOS. – mariusm Oct 24 '22 at 12:07