Re: [klee-dev] -DSPEC_CPU -DNDEBUG -DSPEC_CPU_LP64

Hi Nora, The LLVM bitcode for 456.hmmer of SPEC CPU2006 contains vectorized code. This might have caused the problem. In any case, as far as I know, the support for vectorized code in KLEE is still being worked on (see KLEE PR 657 here: https://github.com/klee/klee/pull/657 ), and therefore it

Re: [klee-dev] -DSPEC_CPU -DNDEBUG -DSPEC_CPU_LP64

Hi, Sorry to bother you again. After using make and wllvm, KLEE stopped working and it generated this error: myklee --emit-all-errors --allow-external-sym-calls --optimize

Re: [klee-dev] -DSPEC_CPU -DNDEBUG -DSPEC_CPU_LP64

Hi, sorry I notice that I used an the new version of Clang. It works now. Many thanks On 5 July 2017 at 02:43, asantosa1...@gmail.com wrote: > Sorry it was my mistake. Please replace "sudo apt install wllvm" with the > following two commands: > > sudo apt install