回答情况：
提问时间：
问题标签：
当我在OpenJML中运行它时，会发生这样的情况：
error: An internal JML error occurred, possibly recoverable.我的jdk是1.7，openjml是当前的(重新下载两者以确保)。这是用于运行openjml的命令(遵循站点中的示例)：java -jar "E:\Downloads\openjml\openjml.jar" -esc -prover z3_4_3 -exec "E:
浏览 6修改于2014-05-06得票数 0
回答已采纳
当我在eclipse中使用OpenJML测试运行代码时。我得到了这个输出.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 or
浏览 18提问于2019-12-09得票数 0
唯一的问题是它使用了android，而OpenJML无法识别android类。MainActivity.java:6: error: package android.hardware does not exist有没有办法将OpenJML
浏览 2提问于2018-12-17得票数 1
回答已采纳
1回答
我有一个类，其矩阵初始化为所有0和1，位于一个特定位置： /*@ spec_public @*/ int[][] griglia;
//@ensures griglia[2][3] == 1; griglia = new int[6][6];
for (int j=0; j < 6; j++){
浏览 3提问于2016-05-29得票数 0
回答已采纳
使用：
我已经将OpenJML jar文件添加到Netbeans的类路径中。如何在我的程序中使用openJML指定前置条件和post条件？
浏览 2修改于2014-11-21得票数 3
我刚刚开始使用OpenJML，下面是我的代码和我的JML警告： 代码： //@ requires myArray !
浏览 7修改于2020-07-10得票数 0
OpenJML以Eclipse Plugin (安装站点http://jmlspecs.sourceforge.net/openjml-updatesite )的形式提供，并且在Eclipse Photon我可以设置OpenJML，让它使用它想要的OpenJDK 1.8，而我的项目使用它需要的任何东西吗？
浏览 21提问于2019-04-12得票数 0
dest.length; dest[destOff+i] = src[srcOff+i];} 我在其中插入了一些OpenJML当我在终端上运行OpenJML时，我得到了以下错误： $ jml -esc MultiSet.java
MultiSet.java:120: warning: The prover cannot establish
浏览 20提问于2020-12-14得票数 1
回答已采纳
2回答
我正在尝试将OpenJML与Z3结合起来，并试图对double或float值进行推理： void a(double b) {}
a(2.4);}→ java -jar openjml.jar -esc -prover z3_4_3 -exec .
浏览 4修改于2015-07-19得票数 21
回答已采纳
我正在使用openjml for code contracts (openjml.org)
它可以和Intellij一起使用吗？
浏览 0提问于2015-02-19得票数 3
我必须使用OpenJML，而这需要Java JDK7。到目前为止，我已经按照以下链接中的说明安装了JDK7：
安装之后，我的Eclipse项目没有再显示任何错误，因为它现在找到了JavaSE7。
浏览 2提问于2012-03-23得票数 1
回答已采纳
如何在OpenJML这样的JML工具中验证基本的集合操作，比如intersect、union和difference，在这些工具中不支持"\intersect \set_minus \set_union“
浏览 5提问于2019-10-04得票数 0
我在我的项目中使用了OpenJML插件，但是会扰乱我的JML代码。JML是在//@符号之后编写的。//@ ensures !
浏览 3修改于2017-12-01得票数 2
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号