StatsTracker.cpp:180: warning: ‘isAbsolute’ is deprecated (declared at /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/Support/PathV1.h:301)
StatsTracker.cpp:183: warning: ‘exists’ is deprecated (declared at /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/Support/PathV1.h:369)
main.cpp:305: warning: ‘isAbsolute’ is deprecated (declared at /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/Support/PathV1.h:301)
main.cpp:594: warning: cast from type ‘const char**’ to type ‘char**’ casts away constness