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