subject:"\[klee\-dev\] klee and overshift error"

Re: [klee-dev] klee and overshift error

2017-07-22 Thread BNM

Thank you Andrew and Dan for your response. I have tried to measure the coverage with the generated test cases and it is very low. The test cases are generated based on choosing N and X variables ( main inputs of the libquntukm program) to be symbolic inside the code with using

Re: [klee-dev] klee and overshift error

2017-07-22 Thread Dan Liew

On 22 July 2017 at 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 being > shifted. Slight

[klee-dev] klee and overshift error

2017-07-15 Thread BNM

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