Building KLEE · Install llvm-gcc: Download and install the LLVM 2.6 release of llvm-gcc from here. · Configure KLEE (from the KLEE source directory):. $ ./ ...
確定! 回上一頁