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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
