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

Wed, 08 Jan 2014 07:46:20 -0800 

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

_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev






















					Reply via email to