当我在Eclipse中使用OpenJML测试运行代码时。我得到这个输出……
跳过长时间运行的测试 找到5个用于esc测试的系统规范类 JRE版本1.8.0_202 找到5个用于rac测试的系统规范类 测试：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）
我在做什么错，我正在寻找测试以告诉我代码和哪一行出了什么问题。
答案 0 :(得分：0)
似乎没有正确安装OpenJML，而是通过重复每个步骤来验证或重做安装。 检查所有路径，如果仍然有问题， 我只能建议您去看官方文档