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