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