Re: [klee-dev] klee and overshift error

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

Re: [klee-dev] klee and overshift error

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