Hi, I just tried the first two tutorials, and Klee on my machine explored much fewer paths that it should. Anyone knows why?
Below I show some relevant outputs. $ klee islower.o KLEE: done: total instructions = 27 KLEE: done: completed paths = 1 KLEE: done: generated tests = 1 $ klee --only-output-states-covering-new Regexp.o KLEE: done: total instructions = 41568 KLEE: done: completed paths = 118 KLEE: done: generated tests = 13
