klee/whole-program-llvm — pull request #1 by tomek-kuchta (2014-05-08 07:14:20+00:00)
Title: Setting default logging level to ERROR

In one of my benchmarks I came across a situation, in which the compilation was failing. I was trying to debug the problem by comparing the current version to the older version of wllvm that I had on my machine. It appeared that the compilation succeeds if function 'attachBitcodePathToObject' (driver/utils.py) does not log anything. I thought that it might be useful to set the default logging level to ERROR (in logger configuration) in case any of build scripts depend on the output.