[klee-dev] The false positives incurred when --max-sym-array-size flag is used

[Cristian Cadar]

Hi Peng,

On 25/12/13 01:11, Peng Li wrote:
> And there will happen segment fault at some steps of execution, then I
> have to use --max-sym-array-size flag to avoid the
> warning and execution abortion, however, the false positives will be
> incurred.
Does KLEE report a bug which is not real?  If so, please fill a bug 
report on GitHub.

Thanks,
Cristian