[klee-dev] Concrete input values for some variables

[ANAS faruqui]

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
-------------- next part --------------
HTML attachment scrubbed and removed