Thanks. I think, it worked. With kind regards, Mahinder.
On Mon, Sep 4, 2017 at 9:14 PM, Dan Liew <[email protected]> wrote: > On 4 September 2017 at 11:20, Mahinder.Shrivas <[email protected]> > 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
