diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2018-05-25 17:20:34 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-04-04 20:37:41 +0100 |
| commit | 56edf12a40cdb2658701485528d80a4324abe827 (patch) | |
| tree | 975667985989a075c95b09545acdccf9f5574320 /lib/Support/MemoryUsage.cpp | |
| parent | e0d530a61ba458d68bbb086b2b6df675dea5a6dd (diff) | |
| download | klee-56edf12a40cdb2658701485528d80a4324abe827.tar.gz | |
Change the .stats format into sqlite3
Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour.
Diffstat (limited to 'lib/Support/MemoryUsage.cpp')
0 files changed, 0 insertions, 0 deletions