Look at Expr.h and Expr.cpp. https://github.com/klee/klee/blob/master/include/klee/Expr.h https://github.com/klee/klee/blob/master/lib/Expr/Expr.cpp
If you're looking at adding floating point support consider looking at Peter Collingbourne's fork of KLEE (klee-fp/klee-cl) which extends KLEE's expression language with support for floating point (amongst other things). _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
