问尝试在Eclipse中运行Open
EN

Stack Overflow用户

提问于 2014-03-29 06:42:41

回答 1查看 1.2K关注 0票数 1

我正在尝试安装JML，并且在尝试了各种eclipse发行版之后获得了成功，但是我得到了这个错误：(使用eclipse-java-indigo-SR2-win32)当我使用菜单: JML >静态检查(ESC)时会出现错误。

未指定可执行的验证程序使用-exec或定义openjml.prover请提供一些帮助

图像链接

回答已采纳

发布于 2014-03-30 06:32:51

在付出更多的努力之后，我解决了这个问题，

实际上，我必须为windows OS下载一个prover可执行文件，然后创建文件夹并将exe放在其中(C:\Java\CVC4)，然后在Eclipse中

窗口>首选项> JML > JML解决程序> CVC浏览器按钮来定位上面的cvc4可执行路径C:\Program \Java\cvc4\cvc4-1.3-Win32-opt.exe，之后它正常工作。

票数 3

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/22727967

复制

相似问题

问尝试在Eclipse中运行OpenEN