2014-10-16 23:23:15 UTC
I found that klee dose not support the LLVM arithmetic with overflow
like llvm.sadd.with.overflow.i32. I know that someone else has asked the
question. I just want to know is it possible to make klee support it?
Thanks in advance