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

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

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

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,