[klee-dev] "completed paths" and "generated tests"

[XIE Xuan]

Hi all,

In the tutorial of testing regular expression library(https://klee.github.io/tutorials/testing-regex/), the example shows that
KLEE: done: completed paths = 7692
KLEE: done: generated tests = 22
I don’t understand why it only generates 22 test if KLEE explores 7692 paths. If KLEE explore 7000+ path, it should also generate 7000+ test cases, that is 7000+ .ktest files. Am I understand wrong?

Thank you very much!
-------------- next part --------------
HTML attachment scrubbed and removed