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

[Frank Busse]

Hi,


> I remove --only-output-states-covering-new flag and it output:
> KLEE: done: completed paths = 7337
> KLEE: done: generated tests = 6578
> 
> Why the number of completed paths is not equal to the number of
> generated tests?

KLEE branches in front of the bug. The first state that reaches the
bug emits the error and all other states that reach the same bug
location exit silently. Otherwise you would get the same report over
and over again. Just add --emit-all-errors if you want to see all tests.


Kind regards,

Frank