change some obsolete KDAlloc comments

- mappings were only shared in a former version of KDAlloc
- `AllocationFactory(std::size_t, std::uint32_t)`'s second parameter is
  used for quarantine size, not the location of the mapping

1 files changed, 2 insertions, 4 deletions

diff --git a/unittests/KDAlloc/rusage.cpp b/unittests/KDAlloc/rusage.cpp
index 453c5e5d..2a893d7d 100644
--- a/unittests/KDAlloc/rusage.cpp
+++ b/unittests/KDAlloc/rusage.cpp
@@ -35,10 +35,8 @@ std::size_t write_to_allocations(std::vector<void *> &allocations) {
 }
 
 TEST(KDAllocTest, Rusage) {
-  // initialize a factory and an associated allocator (using the location "0"
-  // gives an OS-assigned location)
-  klee::kdalloc::AllocatorFactory factory(static_cast<std::size_t>(1) << 30,
-                                          0); // 1 GB
+  // initialize a factory and an associated allocator (1 GiB and no quarantine)
+  klee::kdalloc::AllocatorFactory factory(static_cast<std::size_t>(1) << 30, 0);
   klee::kdalloc::Allocator allocator = factory.makeAllocator();
 
   std::vector<void *> allocations;