如何查看OpenJML错误消息？

Question

当我在eclipse中使用OpenJML测试运行代码时。我得到了这个输出.

跳过长时间运行的测试为esc测试找到的5个系统规范类JRE版本1.8.0_202 5为rac测试找到的系统规范类: testParseAndCheckCrash

测试: testParseAndCheckCrash2

org.eclipse.core.internal.runtime.InternalPlatform.getBundles(InternalPlatform.java:231) at org.eclipse.core.internal.runtime.InternalPlatform.getBundle(InternalPlatform.java:221) at org.eclipse.core.runtime.Platform.getBundle(Platform.java:1424) at org.jmlspecs.openjml.JmlSpecs.appendInternalSpecs(JmlSpecs.java:351) at org.jmlspecs.openjml.JmlSpecs.setSpecsPath(JmlSpecs.java:459) at org的java.lang.NullPointerException java.lang.NullPointerException。jmlspecs.openjml.JmlSpecs.setSpecsPath(JmlSpecs.java:415) at org.jmlspecs.openjml.JmlSpecs.initializeSpecsPath(JmlSpecs.java:273) at org.jmlspecs.openjml.Main.setupOptions(Main.java:962) at org.jmlspecs.openjml.Main.processArgs(Main.java:1017)

我做错了什么，我正在寻找测试来告诉我我的代码有什么问题以及哪一行。

Answer 1

OpenJML似乎没有正确安装，通过重复每个步骤来验证或重做安装。检查所有路径，如果仍然有问题，我只能建议您去查看官方文档