[klee-dev] how to use concrete value to replace symbolic value when solving failed

[Qixue Xiao]

hi,

when constraints are solved failed during symbolic execution, I want
to use concrete value (like seeds) to replace the related symbolic
value. So that the execution could continue.

How could I use this feature in KLEE ?

thanks.

xqx