(view as text)
builddir: '/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux'