Hello,
I am so really thankful having chance to get KLEE contact. My name is
Norlina Pasaribu from Institut Teknologi Del, Indonesia. Now, I am in my
last year of my bachelor and getting a thesis about testing program. If you
don't mind, let me to tell you a little about my project.
W
not found
ITs-iMac-7:Test Space itdel$
On Mon, Feb 12, 2018 at 10:12 AM, Norlina Pasaribu <
norli...@xlfutureleaders.com> wrote:
> Hello,
>
> I am so really thankful having chance to get KLEE contact. My name is
> Norlina Pasaribu from Institut Teknologi Del, Indonesia. Now,
Hallo all,
Some papers tell that KLEE having good coverage, but I am still confuce
about my implementation for Space program C from http://sir.unl.edu/,
because I just only find 9% branch coverage for that program. Any one would
tell me How KLEE run test case ? thank you.
Here is the result of th
time different being 3600 and we got
56.000 test cases then run the test case and having coverage same with 1600
test cases.
I hope, I can get information 1600 test cases having same coverage with
56.000 test cases.
Thank you for attention
On Mon, Jun 25, 2018 at 9:14 AM, Norlina Pasaribu <
no
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@5e6fa64c2eb8:~$ cd obj-gcov
klee@5e6fa64c2eb8:~/obj-gcov$ ../configure --d
Hello all
I would like to try to test the space c program using gCov in KLEE. I tried
the tutorial in KLEE from this site
http://klee.github.io/tutorials/testing-coreutils/
and for this step, I find this result
klee@a6bf3640ea87:~$ ls
*klee-last* *klee-out-1* *klee_build* *obj-gcov* space.c
13
Any body have suggestion for me how to increase the coverage ? Thank you
for attention.
Best regard,
Norlina Pasaribu
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Hallo, We can discuss if you want. Just send me email. Actually I dont know
really much about KLEE, but I ever try to use KLEE to test c program.
I think we can share each other.
Regards,
Lina
On Tue, Nov 20, 2018 at 4:02 PM Thijs van Opstal <
thijs_van_ops...@hotmail.com> wrote:
> Dear,
>
> I’m