1. 2013-01-29 [klee-dev] checking llvm build mode... configure: err klee-dev Alexandru Ionut Di 2. 2013-01-29 [klee-dev] checking llvm build mode... configure: err klee-dev Cristian Cadar 3. 2013-01-29 [klee-dev] checking llvm build mode... configure: err klee-dev Alexandru Ionut Di