[klee-dev] New query logging and klee-stats options

[Cristian Cadar]

I recently pushed a few patches by Tomasz Kuchta (thanks!) which add the 
following useful features to KLEE:

1) The ability to log only the queries that time out, or are taking 
above a certain specified threshold.  It is often too expensive to log 
all the queries, and this new feature addresses this problem.  The new 
option, called min-query-time-to-log, is documented at 
http://klee.llvm.org/klee-options.html#logging.

2) Two new options in klee-stats, called print-rel-times and 
print-abs-times, which are useful for obtaining more detailed timing 
information about a KLEE execution.  The options are documented here:
http://klee.llvm.org/klee-tools.html#klee-stats

Tomasz also refactored the query logging code, making it easier to add 
other types of loggers.

Cristian