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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
