[klee-dev] Printing ExecutionState and ConstraintManager

[Papapanagiotakis-Bousy, Iason]

Hello,

How could I print an ExecutionState and/or the ConstraintManager it contains?

Is there a utility function somewhere to call that will print the list of Expressions of an ExecutionState (in KQuery or even better SMTLIB)?

Thank you in advance for your time.

Best regards,
Jason
-------------- next part --------------
HTML attachment scrubbed and removed