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 > [email protected] > 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: [email protected] ----------------------------------------------------
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
