Hallo there,
I just tried Klee I Mac, and I using this command but command not found. is
this command only for linux ? or any suggestion for iMac ? Thank you very
much
ITs-iMac-7:Test Space itdel$ klee -posix-runtime -libc=uclibc -max-time=60
./space.bc A -sym-files 1 10
-bash: klee: command
Hi Norlina,
Yes, generally it is possible for KLEE to generate string inputs, including a
program written in a particular language.For the space program that you are
testing, I guess that you would need to provide a symbolic file as an input
program.KLEE will then replace the content of the
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.
We are