Re: [klee-dev] How to limit unrolling loops times

[Chengyu Zhang]

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 :

> 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 
>>
>>
>> ___
>> 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

Re: [klee-dev] How to limit unrolling loops times

[Cristian Cadar]

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 


___
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