[klee-dev] How to limit unrolling loops times

[Chengyu Zhang]

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.zhang at gmail.com
-------------- next part --------------
HTML attachment scrubbed and removed