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
