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