Luca Dariz showed us a solution for unsigned. I want to finish that off for signed. I am new to the llvm IR and am slowed by that learning curve. Mark On Oct 17, 2014 5:32 AM, "Dingbao Xie" <[email protected]> wrote:
> 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 > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
