Yes, the tutorial was generated using an earlier version of LLVM (<2.8). I will change it to a new tutorial that does not interact with these latest optimizations.
Best, Cristian On 27/09/11 10:34, Martin Nowack wrote: > Hi Kevin, depending on the version of LLVM you use, nothing is > wrong. Starting with version 2.9, LLVM does additional optimizations > which lead to less basic blocks in the to-be-analyzed input for > KLEE. This in return leads to a smaller number of generated test > cases. The tutorial still based on version 2.7 (2.8?). Therefore, > more test cases are generated. > > Cheers, Martin > > On Sep 21, 2011, at 7:34 AM, Changjiang Jia wrote: > >> Dear KLEE members: >> >> I'm Kevin, a CS graduate from Hong Kong. >> >> I followed the procedures of KLEE website to build KLEE by myself. >> Then I ran the tutorial one. The result is: total instruction (41), >> completed paths (2), generated tests (2). It's known that this >> example has 3 paths. So does anyone experience the same problem >> like me? If yes, what's wrong with KLEE on my PC? >> >> Looking for your help sincerely. >> >> Best regards Kevin _______________________________________________ >> klee-dev mailing list klee-dev@keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > > --------------------------------------------------- Martin Nowack > Research Assistant > > Technische Universität Dresden Computer Science Institute of Systems > Architecture Systems Engineering 01062 Dresden > > Phone: +49 351 463 39608 Email: mar...@se.inf.tu-dresden.de > ---------------------------------------------------- > > > > > _______________________________________________ klee-dev mailing > list klee-dev@keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev