[klee-dev] error : klee + coreutils + experimental [+docker]

[Joshep J. Cortez Sanchez]

Dan,

Thanks for answer!

In the* 1)* case, using whole-program-llvm all works fine.

I don't know why in the tutorial(step 6) gives:

Lines executed:97.03% of *101*

*and I obtained:*
Lines executed:97.09% of *103*

for : File '../../src/echo.c'  << I'm using coreutils 6.11 too.

In the *2*) case (Docker case with klee/klee container)
I downloaded some containers with same result​s. My docker is 1.5.0 too.
Executing ../configure for coreutils 6.11 (in mi computer) is done some
kind of recursion with a long path and fails creating the Makefile.
[attached image]
Surfing the web I arrive to:
https://github.com/docker/docker/issues/1413
And I believe thats my problem, ( but I dont know why occur the "recursion")

I will try install docker in another machine later.

My humble and dirty solution for my case was executing '../configure' in
the host (not in container), and copying the Makefile directory.
So, I ran the Makefile in the container and everything was OK.

Regards,


On Wed, Apr 15, 2015 at 10:37 AM, Dan Liew <dan at su-root.co.uk> wrote:

> >> sudo docker run -ti klee/klee
> >> klee at 2f1c0eaa949c:~$ wget
> >> http://ftp.gnu.org/gnu/coreutils/coreutils-6.11.tar.gz
> >> klee at 2f1c0eaa949c:~$ tar xf coreutils-6.11.tar.gz
> >> klee at 2f1c0eaa949c:~$ cd coreutils-6.11
> >> klee at 2f1c0eaa949c:~/coreutils-6.11$ mkdir obj-gcov && cd obj-gcov
> >> klee at 2f1c0eaa949c:~/coreutils-6.11/obj-gcov$ ../configure --disable-nls
> >> CFLAGS="-g -fprofile-arcs -ftest-coverage"
> >>
> >> config.status: executing po-directories commands
> >> config.status: creating po/POTFILES
> >> config.status: creating po/Makefile
> >> rm: cannot remove 'confdir3/confdir3/confdir3/..
> >> .(many many repetitions ).../confdir3/confdir3': File name too long
>
> Oh I forgot to mention that (just in case it wasn't implied). I can't
> reproduce the above behaviour.
>



-- 
           Joshep J. Cortez S.
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Captura de pantalla de 2015-04-16 09:28:51.png
Type: image/png
Size: 133723 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150416/01c4a137/attachment.png>