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

[Frank Busse]

Hi,

> 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?

are you using the --only-output-states-covering-new flag as well? Try
to remove it.


Kind regards,

Frank