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
