Hello:I want to know How does Klee deal with the loop in the target code? And In which part of the source code of Klee is corresponding with it? Thanks a lot! Paul -------------- next part -------------- HTML attachment scrubbed and removed