diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/KDAlloc/allocator.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/klee/KDAlloc/allocator.h b/include/klee/KDAlloc/allocator.h index f59223ed..c4461b79 100644 --- a/include/klee/KDAlloc/allocator.h +++ b/include/klee/KDAlloc/allocator.h @@ -29,7 +29,8 @@ #include <type_traits> namespace klee::kdalloc { -/// Wraps a mapping that is shared with other allocators. +/// Wraps a mapping and delegates allocation to one of 8 sized-bin slot +/// allocators (size < 4096) or a large object allocator (size >= 4096). class Allocator final : public TaggedLogger<Allocator> { public: class Control final { |