Hi, I was wondering if there was a way to obtain all the conditions which occur in a path in klee's execution? Additionally, it would be superb if they could be obtained in SMTLib form. Sincerely, Srijan R. Shetty. -------------- next part -------------- HTML attachment scrubbed and removed