Hi Cristian,
Thanks for your suggestion, I will try to make a heuristics searcher to
solve the problem.
Best,
Chengyu
2017-01-11 6:28 GMT+08:00 Cristian Cadar <c.ca...@imperial.ac.uk>:
> Hi Chengyu, KLEE is not aware of loops per se, so there's no easy way to
> achieve what you 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 when meet the unrolling loop limit
>> (For example, 10 times). I used "-max-depth" option to deal with the
>> problem, but it can't be suitable for every program and it's not a good
>> solution.
>> I have found the "-unroll-threshold" option in "-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
>> School of Computer Science and Software Engineering
>> Tel: +86 18685412181
>> Mail: dale.chengyu.zh...@gmail.com <mailto:dale.chengyu.zh...@gmail.com>
>>
>>
>> _______________________________________________
>> klee-dev mailing list
>> klee-dev@imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>>
>>
> _______________________________________________
> 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
