【发布时间】：2014-03-29 06:42:41
【问题描述】：
我正在尝试安装 JML，并在尝试各种 eclipse 发行版后成功 但我收到此错误： （使用 eclipse-java-indigo-SR2-win32） 当我使用菜单时出现错误：JML > Static Check (ESC)
未指定证明者的可执行文件 - 使用 -exec 或定义 openjml.prover 请提供一些帮助
【问题讨论】：
【发布时间】：2014-03-29 06:42:41
【问题描述】：
经过努力我解决了，
实际上我必须为 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 之后它工作正常
【讨论】：