Dear list, I found that klee dose not support the LLVM arithmetic with overflow intrinsics like llvm.sadd.with.overflow.i32. I know that someone else has asked the similar question. I just want to know is it possible to make klee support it? Thanks in advance
-- Dingbao Xie
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
