Does klee have any built-in model checking options? Like deadlock detection, or perhaps checking for some basic linear-time properties (such as "I never want to see a particular sequence of function calls")?
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
