Hi, > My wish is that such would keep updated with Klee and LLVM moving > forward, as my so far experience with such projects is that they get > outdated every time when creation of new images is not automated.
As I stated in my original e-mail. The build of the docker image **is automated.** A new image is regenerated every time new commits are pushed to KLEE's GitHub repository. The newly built image will only replace the old image if the tests pass. > So > ideally, I imagine a script downloading Klee, LLVM, Docker base , and > creating image as output. That is exactly what the Dockerfile allows you to do. $ git clone https://github.com/klee/klee.git $ cd klee $ docker build -t name_of_klee_image . After running the above you will have a image on your system called "name_of_klee_image". You can then create a container from that image and gain shell access to it. $ docker run -ti name_of_klee_image /bin/bash Thanks, Dan. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
