Possible docker image?

Question

Possible docker image?

zhangysh1995 opened this issue 6 years ago · 1 comments

zhangysh1995 commented 6 years ago

Hi, I just want to know could it be possible if I use a KLEE docker image to install all the dependencies?

Answer 1 · 2019-03-25T09:07:57.000Z

Hi, at the moment you can't do that, unfortunately. In fact, as you may have seen from the installation docs, you need our specialized fork of KLEE (not available as a Docker image) and not whatever the latest version of original KLEE is.

There are currently no plans to have a Docker image for Munch, we are actively working on the cousin project Macke at the moment.