java - 如何查看 OpenJML 错误消息？

Question

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

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

测试:testParseAndCheckCrash2

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

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

Answer 1

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