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 not found ITs-iMac-7:Test Space itdel$ On Mon, Feb 12, 2018 at 10:12 AM, Norlina Pasaribu < [email protected]> wrote: > 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 really proud of you for buliding a KLEE tools for testing. I have > Space program being the object for the testing. Space is C program contains > 9000 line codes and I get from http://sir.unl.edu/. > I found on some paper, that concolic testing is possible to implemented > using KLEE. > > My plan is I would like to generate test-case for Space program using > concolic testing method in KLEE. Space input is not numerical but Array > Defenition Language (ADL). > > My question is, is that possible KLEE for generating test-case and for > non-numerical input ? > > We really hope we be able to discuss more about it with you. If you dont > mind, let us to get your respond. > > Thank you very much for attention. > > Best regards, > > Norlina Pasaribu > > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
