Re: [klee-dev] Fwd: Request regarding downloading KLEE code

[Mahinder.Shrivas]

Thanks. I think, it worked.

With kind regards,
Mahinder.

On Mon, Sep 4, 2017 at 9:14 PM, Dan Liew  wrote:

> On 4 September 2017 at 11:20, Mahinder.Shrivas 
> 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

Re: [klee-dev] Fwd: Request regarding downloading KLEE code

[Dan Liew]

On 4 September 2017 at 11:20, Mahinder.Shrivas  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