Как я могу увидеть сообщения об ошибках OpenJML?

Question

Когда я запускаю свой код с тестом OpenJML в eclipse. Я получаю этот вывод......

Пропуск длительных тестов Обнаружено 5 классов системных спецификаций для esc-тестирования JRE версии 1.8.0_202 5 классов системных спецификаций найдено для rac-тестирования TEST: testParseAndCheckCrash

ТЕСТ: testParseAndCheckCrash2

java.lang.NullPointerExceptionjava.lang.NullPointerException в org.eclipse.core.internal.runtime.InternalPlatform.getBundles(InternalPlatform.java:231) в org.eclipse.core.internal.runtime.InternalPlatform.getBundle.java: InternalPlatform.getBundle.java:221) в org.eclipse.core.runtime.Platform.getBundle(Platform.java:1424) в org.jmlspecs.openjml.JmlSpecs.appendInternalSpecs(JmlSpecs.java:351) в org.jmlspecs.openjml.JmlSpecs.setSmlSpecsPath.java:459) по адресу org.jmlspecs.openjml.JmlSpecs.setSpecsPath(JmlSpecs.java:415) по адресу org.jmlspecs.openjml.JmlSpecs.initializeSpecsPath(JmlSpecs.java:273) по адресу org.jmlspec.Mainsetjs. Main.java:962) в org.jmlspecs.openjml.Main.processArgs(Main.java:1017)

Что я делаю не так, я ищу тест, чтобы узнать, что не так с моим кодом и в какой строке.

Answer 1

Кажется, что OpenJML неправильно установлен, проверяет или повторяет установку, повторяя каждый шаг. Проверьте все пути, и если проблема не исчезнет, ​​я могу только посоветовать вам обратиться к официальной документации.