[klee-dev] How to use KLEE to get the stack information of each test case？

[rongze xv]

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