A docker file for the Why3 verifier with the SMT-solver Z3.
To build the image use:
docker build -t peterzel/why3:0.87.3 .
To run it use:
docker run --rm peterzel/why3:0.87.3 why3 <args>
Use a mount to work with local files, for example:
docker run \
--rm \
--mount type=bind,source=/path/to/local/folder,target=/why3,readonly \
peterzel/why3:0.87.3 \
why3 prove -P z3 -t 10 /why3/input.mlw
Content type
Image
Digest
Size
138.3 MB
Last updated
about 9 years ago
docker pull peterzel/why3