On 4 September 2017 at 11:20, Mahinder.Shrivas <msmahind...@gmail.com> wrote: > Hi All, > > This is regarding KLEE code. I am trying to clone KLEE code through docker > by running this command (docker build -t klee/klee .) While doing that the > connection is getting refused. I tried many times but it is not letting me > clone KLEE source code. Please find the screenshot for your kind reference > and do let me know if you guys know the solution. Any kind of suggestion > would be appreciated. Thanks again.
Sounds like networking is not setup correctly in your Docker container. Try passing `--network=host` to docker build. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev