A Docker image to run the CProver JBMC based on the diffblue/bmc-builder image.
docker pull stefadp/jbmc:latest
In your Dokerfile add FROM stefadp/jbmc:latest as base image.
Run docker run -it stefadp/jbmc:latest and then jbmc --help.
Content type
Image
Digest
Size
277.3 MB
Last updated
about 7 years ago
docker pull stefadp/jbmc