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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
