当我在 Eclipse 中使用 OpenJML 测试运行代码时。我得到这个输出......
跳过长时间运行的测试 找到 5 个用于 ESC 测试的系统规范类 JRE 版本 1.8.0_202 找到用于 rac 测试的 5 个系统规范类 测试:testParseAndCheckCrash
测试:testParseAndCheckCrash2
java.lang.NullPointerException java.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)
我做错了什么，我正在寻找测试来告诉我我的代码有什么问题以及哪一行。
最佳答案
OpenJML 似乎未正确安装，请通过重复每个步骤来验证或重做安装。 检查所有路径，如果仍然有问题， 我只能建议你去看官方文档
关于java - 如何查看 OpenJML 错误消息？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/59251151/