[klee-dev] Questions about getting symbolic execution tree with KLEE

[Zachery]

Hi all,
    Since KLEE is a tool of symbolic execution, is there a way to output the symbolic tree into a file?
    I have searched for the solution both in klee-dev’s searchable archive and Google Search, but there seemed to be no answer. 
    So, could someone tell me how to get the symbolic tree or is there a tool for this task? 
    
    Thanks in advance,
   Zachery
-------------- next part --------------
HTML attachment scrubbed and removed