Activity for Jimmy Merrild Krag
-
Jimmy Merrild Krag posted a comment on ticket #103
I'm a bit surprised the JAVA_HOME environment variable is not examined first by default. That would fix issues for AdoptOpenJDK.
-
Well, it's always a good thing to press F7 to update the error messages ;) As far...
-
You are also missing some semicolons (';') under system declarations.
-
I'm pretty sure this is not a UPPAAL PARMOS issue. UPPAAL PARMOS utilizes UPPAAL...
1