diff options
author | Daniel Schemmel <daniel@schemmel.net> | 2022-10-13 14:23:39 +0100 |
---|---|---|
committer | Frank Busse <f.busse@imperial.ac.uk> | 2023-03-16 11:57:59 +0000 |
commit | 140e08ac039959ffc34adcbd8022b3d565f50ee8 (patch) | |
tree | e4d991c5249169bb0d5b425678b684960caf638d /unittests/KDAlloc | |
parent | 5b49bd5999aabf51016a34acaefe905c313185c1 (diff) | |
download | klee-140e08ac039959ffc34adcbd8022b3d565f50ee8.tar.gz |
The KDAlloc loh allocator is useful for variable sized (large) allocations
Diffstat (limited to 'unittests/KDAlloc')
0 files changed, 0 insertions, 0 deletions