Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enables KLEE to log only the queries exceeding a certain duration, or only those that time out.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171385 91177308-0d34-0410-b5e6-96231b3b80d8
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
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
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
Updated svn:ignore


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171394 91177308-0d34-0410-b5e6-96231b3b80d8
Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Kleaver to a separate file.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171395 91177308-0d34-0410-b5e6-96231b3b80d8