as to where I've gone wrong would be
> appreciated.
>
> Cheers,
> Sean
>
> ___
> klee-dev mailing list
> klee-dev@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
--
张枨宇 Chengyu Zhang
East China
instructions. In this way, we may decrease the cost of
updating.
Is my idea reasonable?
Thanks and Cheers,
Chengyu
2016-11-21 21:13 GMT+08:00 Martin Nowack <martin_now...@tu-dresden.de>:
> Hi Chengyu,
> > On 18 Nov 2016, at 15:16, Chengyu Zhang <dale.chengyu.zh...@
compute the
distance between two instructions in KLEE.
2. What's the difference between CovNew and MD2U search heuristic ?
Thanks a lot.
Chengyu Zhang
--
张枨宇 Chengyu Zhang
East China Normal University
School of Computer Science and Software Engineering
Tel: 18685412181
Mail: dale.chengyu.zh
scover the
>> bugs you found.
>>
>>
>> Thank you in advance for your response.
>>
>> ___
>> klee-dev mailing list
>> klee-dev@imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
u want. You might want to look instead at the search
> heuristics that KLEE provides, to see if they are good enough for your
> purposes.
>
> Best,
> Cristian
>
>
> On 04/01/2017 11:50, Chengyu Zhang wrote:
>
>> Hi all,
>>I want KLEE stops unrolling loop whe
n "-help-hidden" can deal
with the problem (maybe), but it seems doesn't work. Is there any options
could deal with the problem? Or if anyone could tell me how to use
"-unroll-threshold" option?
Thanks forward,
Chengyu
--
张枨宇 Chengyu Zhang
East China Normal University
Host CPU: x86-64
>
>
>
> Thank you so much.
>
>
>
> With kind regards,
>
> Mahinder.
>
>
>
>
>
>
> ___
> klee-dev mailing list
> klee-dev@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
--
张枨宇 Chengyu Zhang
East China Normal University
School of Computer Science and Software Engineering
Tel: +86 18685412181
Mail: dale.chengyu.zh...@gmail.com
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
gt; tool for this task?
>
> Thanks in advance,
> Zachery
>
>
>
> ___
> klee-dev mailing list
> klee-dev@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
--
张枨宇 Chengyu Zhang
East China Normal University
School of Compu