Hi, I have the following queries regarding Klee. I would really appreciate any help.
1> How to obtain the following statistics from Klee: A> Total number of feasible paths, B> Total number of infeasible paths, C> Total number of paths in the program. D> Total number of solver queries and E> Total time spent in solver 2> Does Klee perform any state merging or path-merging ? What option to use for this ? 3> Does Klee perform property driven slicing before it begins symbolic execution ? Many thanks in advance. Best, Rajdeep --
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
