1

我正在尝试安装 JML 并在尝试各种 eclipse 发行版后成功，但出现此错误：（使用 eclipse-java-indigo-SR2-win32）当我使用菜单时出现错误：JML > Static Check (ESC)

未指定证明者的可执行文件 - 使用 -exec 或定义 openjml.prover 请提供一些帮助

图片链接

4

1 回答 1

3

经过更多努力，我解决了它，

实际上，我必须为 Windows 操作系统下载一个经过验证的可执行文件，然后创建文件夹并将 exe 放入其中（C:\Java\CVC4），然后在 Eclipse 中

Window > Preferences > JML > JML Solver > CVC Browser 按钮找到上面的cvc4可执行路径 C:\Program Files\Java\cvc4\cvc4-1.3-win32-opt.exe 之后就可以正常工作了

于 2014-03-30T06:32:51.470 回答