On 19/07/13 00:13, ANAS faruqui wrote:
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
Simply add "-d" after "gzip,bc"
Cristian
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev