[klee-dev] klee and overshift error

[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 this error? Is it related to the choice of the symbolic variable? Without using KLEE the benchmark works well.
Thank you,