[klee-dev] Dockerizing Klee

[Dan Liew]

Hi,

> I think it would be useful to have an official repository for the dockerized
> KLEE, which we would recommend to new users on the KLEE website, and which
> would be maintained as part of the KLEE project on GitHub
> (https://github.com/klee).  Also, it would be useful to automatically update
> an associated KLEE Docker image and upload it to the Docker registry either
> after each KLEE commit, or at regular time intervals.

The docker registry provides a service where you can link it with your
github repository and it will automatically rebuild the docker image
on every commit.

I use this for several docker images I have (e.g. [1] [2] and [3])

[1] https://github.com/delcypher/gpuverify-docker
[2] https://github.com/delcypher/boogaloo-docker
[3] https://github.com/delcypher/klee-cl-docker