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

[Mahinder.Shrivas]

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.

With kind regards,
Mahinder.
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2017-09-01 at 4.12.27 PM.png
Type: image/png
Size: 43611 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20170904/f72b855f/attachment.png>