Atelier B在解析机器时使用ProB Error进行动画处理：end_of_file

Question

我在使用prob动画机器时遇到问题。当我在Atelier B中使用ProB（TCL / TK）选择动画时，我收到此错误

Make sure Java Runtime 7 or newer is installed
 the Java B parser (probcliparser.jar) cannot be launched:  c:/prob//lib/probcliparser.jar

 Error while parsing machine:  end_of_file

我的java安装工作正常，它是java版本“1.8.0_65”。

有人可以帮忙吗？感谢。

Answer 1

问题在于访问权限。我已将我的ProB安装在C盘中。以管理员身份运行它解决了问题。 如果其他人遇到同样的问题，就把它留在这里。