A docker image of the ELEGANT Code Verification Service.
438
A container for the code verification service of the ELEGANT software stack. The implementation is distributed as open-source software.
docker pull beehivelab/code-verification-service-container:latest
git clone https://github.com/elegant-h2020/Elegant-Code-Verification-Service
cd Elegant-Acceleration-Service
docker run -it -p 8080:8080 -v service_files:/service/files code-verification-service-container
The examples beneath use files that are included in the ELEGANT Code Verification Service repository.
curl -X POST -H "Content-Type: multipart/form-data" -F "file=@examples/codes/java/my/petty/examples/Simple.class" -F "request=@examples/requests/jbmc/request-class.json" http://localhost:8080/Elegant-Code-Verification-Service-1.0-SNAPSHOT/api/verification/newEntry
curl http://0.0.0.0:8080/Elegant-Code-Verification-Service-1.0-SNAPSHOT/api/verification/getEntry?entryId=0
curl --request DELETE http://0.0.0.0:8080/Elegant-Code-Verification-Service-1.0-SNAPSHOT/api/verification/removeEntry?entryId=0
Content type
Image
Digest
sha256:587fd8bc0…
Size
1.9 GB
Last updated
over 2 years ago
docker pull beehivelab/code-verification-service-container