ci-tool is a utility for supporting Java and JML contracts in Continuous Integration pipelines by providing support for checking the proofability of JML with KeY.
ci-tool is licensed under GPLv2+.
If you any suggestion feel to contact: Alexander Weigl.
To use the ci-tool add the following lines to the ci config.
$ wget -O ci-tool.jar https://key-project.org/ci-tool/latest.php
$ java -jar <jarfile> [files]
$ java -jar <jarfile> -h
jdk: - openjdk11 language: java install: - wget -O ci-tool.jar https://key-project.org/ci-tool script: - javac simplified/Keyserver.java - java -jar ci-tool.jar simplified/Keyserver.java
1.3.0-alpha: Adding junit xml output
--xml-output [FILE]was added. If specified, an XML file is written in the JUnit format.
1.2.0: Hot-fix for KeY
1.1.0: bug fixes and support for proofs in key-files
1.0.0 initial working version (24.01.2020)