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/Intrinsics/abs-overflow.ll | |
| parent | 6bc91e58dc9d286cbb50c9e48057c8037229023b (diff) | |
| download | klee-5b49bd5999aabf51016a34acaefe905c313185c1.tar.gz | |
The KDAlloc slot allocator is useful for small sized allocations
Diffstat (limited to 'test/Intrinsics/abs-overflow.ll')
0 files changed, 0 insertions, 0 deletions