On 16 April 2015 at 13:59, Joshep J. Cortez Sanchez agne...@gmail.com wrote:
Dan,
Thanks for answer!
In the 1) case, using whole-program-llvm all works fine.
Great.
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
sudo docker run -ti klee/klee
klee@2f1c0eaa949c:~$ wget
http://ftp.gnu.org/gnu/coreutils/coreutils-6.11.tar.gz
klee@2f1c0eaa949c:~$ tar xf coreutils-6.11.tar.gz
klee@2f1c0eaa949c:~$ cd coreutils-6.11
klee@2f1c0eaa949c:~/coreutils-6.11$ mkdir obj-gcov cd obj-gcov
Hi,
Clearly i have not llvm-ld because it was removed.
So, what shuold I change in klee-gcc to make it work with the new
settings/version of things
klee-gcc is only meant to be used with llvm-gcc. I would use
whole-program-llvm [1] to build core utils if you are using clang.
$ export
Hi all,
I' ve follow de experimental tutorial http://klee.github.io/experimental/
to KLEE in the last week and all was fine.
Also I made the container klee/klee for docker.
But, when I try testing coreutils
http://klee.github.io/tutorials/testing-coreutils/, I'm obtaining some
errors:
1)
