Hi I'm trying to compile klee following your instruction:
http://klee.llvm.org/GetStarted.html and I'm getting this: llvm[2]: Compiling memset.c for Release build (bytecode) llvm[2]: Compiling memset.ll to memset.bc for Release build (bytecode) Intrinsic prototype has incorrect number of arguments! void (i8*, i8, i64, i32, i1)* @llvm.memset.p0i8.i64 Broken module found, compilation aborted! 0 opt 0x00000000008ade5f 1 opt 0x00000000008ae4ed 2 libpthread.so.0 0x00002b28e9a7b2e0 3 libc.so.6 0x00002b28ea6389e5 gsignal + 53 4 libc.so.6 0x00002b28ea639ee6 abort + 390 5 opt 0x000000000085b2cf 6 opt 0x00000000008311fa llvm::FPPassManager::runOnFunction(llvm::Function&) + 538 7 opt 0x000000000083130b llvm::FPPassManager::runOnModule(llvm::Module&) + 75 8 opt 0x0000000000830da4 llvm::MPPassManager::runOnModule(llvm::Module&) + 404 9 opt 0x0000000000830f29 llvm::PassManagerImpl::run(llvm::Module&) + 137 10 opt 0x00000000004c3f5c main + 2284 11 libc.so.6 0x00002b28ea624b7d __libc_start_main + 253 12 opt 0x00000000004b8ed9 what is wrong? I'm using Suse
