[klee-dev] Symbolic Expression for Variable

[Ridwan Shariffdeen]

Hi

I want to obtain the symbolic expression for a given variable at the end of
an execution of a program. Is this possible with the current
implementation? or do I need to modify klee for this? If so can you point
out in which direction I should look into?

Appreciate any help in this regards

Thanks!
Ridwan
-------------- next part --------------
HTML attachment scrubbed and removed