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