diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-01-06 14:24:14 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-01-07 12:46:01 +0000 |
| commit | 8e91181bce293e969de57d5cb1bc24eb5682a6f2 (patch) | |
| tree | e78226a62601a78933cff433234fbb8d2f5a3133 /scripts | |
| parent | 63c24a3dc620b1012010bbc06afc1b6a22eeda9d (diff) | |
| download | klee-8e91181bce293e969de57d5cb1bc24eb5682a6f2.tar.gz | |
klee-stats: rename/reorder/document columns
* rename columns for consistency * reorder columns and group by "categories" * add missing documentation * fix existing documentation * show MaxMem as float
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions