valerioneri/openjml repository overview

Simple image based on the official Java 8 image to use OpenJML

⁠How to test

To check if everything is working just the following command:

docker run --rm --name=jml valerioneri/openjml java -jar /openjml/openjml.jar -version

⁠How to run

To run the OpenJML container you need to mount the directory containing your java files (let's call it code) and add the command you want to execute, as in the following example:

docker run --rm --name=jml -v $(pwd)/code:/code valerioneri/openjml java -jar /openjml/openjml.jar -esc /code/myFile.java

⁠OpenJML Execution's options

Type-checking:java -jar /openjml/openjml.jar /code/myFile.java

Static checking: java -jar /openjml/openjml.jar -esc /code/myFile.java

Runtime assertion checking: java -jar /openjml/openjml.jar -rac /code/myFile.java

Based on OpenJML execution's option documentation ⁠

⁠How to use with docker exec

docker run --rm --name=jml -t -d -v $(pwd)/code:/code valerioneri/openjml /bin/bash
docker exec jml  java -jar /openjml/openjml.jar -rac /code/myfile.java

⁠Useful OpenJML Docs

OpenJML command line's options' documentation ⁠