<div dir="ltr"><div>Hi,</div><div>I faced the following problem when trying to use klee over the llvm format file formed after using wllvm. Does there exist any solution to this?</div><div><br></div>LLVM ERROR: Code generator does not support intrinsic function 'llvm.objectsize.i32'!<br>
</div>