Установка jpf в eclipse и ClassNotFoundException
Я пытаюсь заставить java path finder работать с моими тестовыми примерами, используя плагин проверки из eclipse, кажется, не работает по какой-то причине, я использую тогда метод run-JPF. JPF, кажется, работает, пока я не попытаюсь использовать какой-нибудь внешний класс, такой как: gov.nasa.jpf.jvm.Wirify, который он, кажется, не находит. Я попытался добавить его в classpath метода run, но все же у меня та же проблема, что мне делать?
1 ответ
Проблема была с использованием java 1.8, переход на 1.7 решил все.