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. Specifically, I'd like to call the function
Expr vc_simplify(VC vc, Expr e); that's defined in stp's interface, and convert the result to a variable of type ref<Expr> so that klee can use it. Thanks for your help! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100922/e06e405a/attachment.html
