[klee-dev] Concrete input values for some variables

[Cristian Cadar]

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