Hello,
I've tried to measure the code coverage of a program using Gcov with the test
cases generated by KLEE . The test suites include some test cases reporting
some errors, is it necessary to include these test cases when I measure the
coverage or should be excluded?
Thank you,
k you.
On Saturday, 22 July 2017, 16:49, Andrew Santosa
wrote:
Hi BNM,
KLEE may report overshift error upon encountering Shl, AShr or LShr of LLVM.It
is reported when KLEE determines that the shift amount is greater than the
bitwidth of the data beingshifted. I happen to have a copy of SPE
Hello,
I have tried to run Klee with libQuantum in SPEC benchmarks. The duration of
running Klee with this benchmark lasted more than 24 hours and all the test
cases contained overshift error.
KLEE: ERROR: /klee/libqu/classic.c:108: overshift error
I would like to know what is the cause of thi
Hello,
I have tried to use KLEE with some benchmarks and I have followed the
tutorial of using KLEE with Coreutils. After I installed WLLVM, I have
tried to build the benchmark with LLVM as mentioned in Step three but I
don't know where can I put the option of disabling nls (--disable-nls).
