My question is very simple: In file klee/lib/Expr/ExprBuilder.cpp , there are used some structures named AddExpr, SubExpr, MulExpr, UDivExpr, and so on... I was wondering where are these structures defined, clearly not inside Klee project. I'd like to add similar structures but for floating point (FAddExpr, FSubExpr, ..) but I don't know what is the right place to define them.
Thank you! Looking forward to your answer! _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
