在Mac OS上安装Uppaal

Question

我正在尝试在Mac上安装Uppaal。我已经安装了Catalina，并且我知道此处发布的与授权有关的解决方法，并且已经做到了。

但是当我运行Uppaal脚本时，出现错误消息

错误：无法访问jarfile ./uppaal.jar

我无法弄清楚问题是什么或如何解决。 Java是最新的。

请帮助，我需要此项以进行单人作业

Answer 1

如果从GUI包含空格的路径运行UPPAAL，似乎会出现上述错误。

我将向开发团队报告此问题，直到他们能够解决以下变通办法之一：

• 将文件移动到不包含任何空格的路径（注意：完整路径不得包含任何空格）