diff options
author | Daniel Schemmel <daniel@schemmel.net> | 2022-10-13 14:22:52 +0100 |
---|---|---|
committer | Frank Busse <f.busse@imperial.ac.uk> | 2023-03-16 11:57:59 +0000 |
commit | 5b49bd5999aabf51016a34acaefe905c313185c1 (patch) | |
tree | 554049ef578652424847071f03167bc7c0505c24 /test/ArrayOpt | |
parent | 6bc91e58dc9d286cbb50c9e48057c8037229023b (diff) | |
download | klee-5b49bd5999aabf51016a34acaefe905c313185c1.tar.gz |
The KDAlloc slot allocator is useful for small sized allocations
Diffstat (limited to 'test/ArrayOpt')
0 files changed, 0 insertions, 0 deletions