Hi klee-dev members,
I would like to ask: Is it possible to get the stack trace or the execution path of each test case (similar to the stack information in the xx.ptr.err file) during the process of generating test cases in KLEE? (If I need to modify the code, which part should I start with?) Sincerely， Xu Rongze
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
