Laurelli7

For the target, instead of using a makefile, I used ./autogen.sh and ./configure in target build, but when trying to generate the sievefuzz variant (by setting compiler and relevant flags...

KLEE aborts on vector IR: Found unexpected type (<4 x i32>) at operand 0

3

KLEE terminates when executing bitcode containing basic vector integer arithmetic, e.g., (sub ). This issue can be reproduced in KLEE 3.1 with clang 13. A MVE is attached below ```...