Hi all, I am trying to run KLEE on gzip. I want to generate test cases when one parameter is always -d. So how do i give a concrete input while let the others inputs be symbolic
The command i am using is : klee --only-output-states-covering-new --libc=uclibc --max-time 36000 --posix-runtime ./gzip.bc --sym-args 2 2 15 --sym-files 1 500 Thanks -Anas
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
