[klee-dev] Built Program Using Gcov in KLEE

[Andrew Santosa]

 Hi Norlina,
You first need to download and unpack Coreutils 6.11 in the following way:
wget http://ftp.gnu.org/gnu/coreutils/coreutils-6.11.tar.gztar zxvf coreutils-6.11.tar.gzcd coreutils-6.11
Only after executing the above commands you can proceed with mkdir:
mkdir obj-gcovcd obj-gcov../configure --disable-nls CFLAGS="-g -fprofile-arcs -ftest-coverage"
The above configure command should now work I think.

Best,Andrew
    On Wednesday, 27 June 2018, 10:03:50 PM SGT, Norlina Pasaribu <norlinap at xlfutureleaders.com> wrote:  
 
 Hello all, 
I tried an experiment to see the c program coverage using KLEE then I am trying this tutorial from KLEE website http://klee.github.io/tutorials/testing-coreutils/ but on my first step I get 

mkdir obj-gcov

klee at 5e6fa64c2eb8:~$ cd obj-gcov

klee at 5e6fa64c2eb8:~/obj-gcov$ ../configure --disable-nls CFLAGS="-g -fprofile-arcs -ftest-coverage"

bash: ../configure: No such file or directory




I am using iMac for this experiment. On the same time, I do the same things on Ubuntu but I find the same result.




In the Ubuntu I tried to solve configure by download 

do $> autoconf 





but sadly, I was lost my folders. 




 my question is, how I solve ../configure: No such file or directory?




I am really newbie for this, I hope I can learn more from you.

Thank you for attention. 



_______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
  
-------------- next part --------------
HTML attachment scrubbed and removed