我在使用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“。
有人能帮上忙吗?谢谢。