diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-06-21 23:36:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-06-21 23:36:19 +0000 |
| commit | 69a3e3221bf6bb8f33a4f5180bba38bfdc98f27c (patch) | |
| tree | 9cb10b13619c412115811d78bca2e6efa0ddc8ee /scripts | |
| parent | 9b2fef168fd76208de25f1f3dc05629328b5d655 (diff) | |
| download | klee-69a3e3221bf6bb8f33a4f5180bba38bfdc98f27c.tar.gz | |
Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg and max memory consumption and states. A bug in the compare-by=<key> functionality has been fixed and the --compare-at=[<value>|last] option has been added. Specifying a value reports all statistics at the point where <key> had value <value>; specifying 'last' reports at the largest <key> value common to all executions"
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158948 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions