On 15 December 2014 at 18:13, Dingbao Xie wrote:
> Hi, everyone
> I encountered an assertion failure when trying to test grep with klee.
> The complete stack trace is shown below:
>
Looks like a division by zero happened whilst evaluating an
instruction that uses constants. KLEE's division by zer
Hi, everyone
I encountered an assertion failure when trying to test grep with klee.
The complete stack trace is shown below:
klee: /home/software/llvm-3.4/lib/Support/APInt.cpp:1847: llvm::APInt
llvm::APInt::udiv(const llvm::APInt&) const: Assertion `RHS.VAL != 0 &&
"Divide by zero?"' failed.
0 l