当我在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）
我在做什么错，我正在寻找测试以告诉我我的代码和哪一行出了什么问题。
最佳答案
似乎没有正确安装OpenJML，而是通过重复每个步骤来验证或重做安装。
检查所有路径，如果仍然有问题，
我只能建议您去看官方文档
关于java - 如何查看OpenJML错误消息？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/59251151/