Commit 55a86574 authored by davidcok's avatar davidcok
Browse files

V8.30.0

parent d913fcdb
......@@ -2,7 +2,7 @@
<feature
id="org.jmlspecs.openjml.OpenJMLFeature"
label="OpenJML"
version="0.8.29.8"
version="0.8.30"
provider-name="David R. Cok">
<description url="http://jmlspecs.sourceforge.net">
......@@ -33,21 +33,21 @@ https://sourceforge.net/projects/jmlspecs/
id="org.jmlspecs.annotation"
download-size="0"
install-size="0"
version="0.8.29.8"
version="0.8.30"
unpack="false"/>
<plugin
id="org.jmlspecs.OpenJMLUI"
download-size="0"
install-size="0"
version="0.8.29.8"
version="0.8.30"
unpack="false"/>
<plugin
id="org.jmlspecs.Specs"
download-size="0"
install-size="0"
version="0.8.29.8"
version="0.8.30"
unpack="false"/>
</feature>
......@@ -448,7 +448,7 @@ public class escfiles extends EscBase {
@Test
public void testEscFunction() {
helpTF("escFunction","-show","-method=f","-checkFeasibility=debug");
helpTF("escFunction");
}
@Test
......
......@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: OpenJMLUI
Bundle-SymbolicName: org.jmlspecs.OpenJMLUI;singleton:=true
Bundle-Version: 0.8.29.8
Bundle-Version: 0.8.30
Bundle-ClassPath: bin/,
jmlruntime.jar,
jSMTLIB.jar
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment