Попытка запустить Open JML в Eclipse
Я пытаюсь установить JML и добился успеха после попытки различных дистрибутивов затмения, но я получаю эту ошибку: (используя eclipse-java-indigo-SR2-win32) ошибка появляется, когда я использую меню: JML > Статическая проверка (ESC)
Исполняемый файл для prover не указан - используйте -exec или определите openjml.prover. Пожалуйста, предоставьте некоторую помощь
1 ответ
Приложив больше усилий, я решил,
фактически мне пришлось скачать исполняемый исполняемый файл для ОС Windows, затем создать папку и поместить в нее исполняемый файл (C:\Java\CVC4), затем в Eclipse
"Окно"> "Установки"> "JML"> "JML Solver"> кнопка "Обозреватель CVC", чтобы найти вышеуказанный исполняемый путь cvc4 C:\Program Files\Java\cvc4\cvc4-1.3-win32-opt.exe. После этого все работало нормально