The LLVM translator requires RTTI enabled. Klee does not. In order to unify the build process, I used a single build of LLVM with RTTI enabled. I've read concern that RTTI will increase code size and may slow down execution speed. The latter is what I'm concerned with. Needs to be verified.
The LLVM translator requires RTTI enabled. Klee does not. In order to unify the build process, I used a single build of LLVM with RTTI enabled. I've read concern that RTTI will increase code size and may slow down execution speed. The latter is what I'm concerned with. Needs to be verified.