-
The first commit's message is: Patch by Tomasz Kuchta that refactors the logging code, by introducing a new logging class hierarchy. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171387 91177308-0d34-0410-b5e6-96231b3b80d8 Conflicts: test/Feature/ExprLogging.c This is the 2nd commit message: Forgot to add QueryLoggingSolver in patch 171387 from Tomasz Kuchta. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171392 91177308-0d34-0410-b5e6-96231b3b80d8 This is the 3rd commit message: Patch by Tomasz Kuchta adding more detailed information on query failures. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171391 91177308-0d34-0410-b5e6-96231b3b80d8 Conflicts: lib/Solver/Solver.cpp
39bfc329