How to get symbolic output using KLEE

[Mingyue Jiang]

Hi,
I have a question about KLEE.
I wonder whether we can get the symbolic output for each path from KLEE. If yes, how we can get it.

Thanks.

Best regards,

Mingyue Jiang