> Hello, I'm wondering how to create a variable ref<Expr> or of type Expr > from the Expr that stp returns. It seems that klee's Expr is a class so > I can't just assign it to something else in klee.
Hi Li, There's no functionality in KLEE for converting an STP expression to a KLEE one. If you really need to do need this, you can traverse the STP expression (using STP's API) and reconstruct the equivalent KLEE expression in the process. Best, Cristian
