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")? -------------- next part -------------- HTML attachment scrubbed and removed