diff options
Diffstat (limited to 'unittests/KDAlloc/allocate.cpp')
| -rw-r--r-- | unittests/KDAlloc/allocate.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/unittests/KDAlloc/allocate.cpp b/unittests/KDAlloc/allocate.cpp index 895f8215..c691e114 100644 --- a/unittests/KDAlloc/allocate.cpp +++ b/unittests/KDAlloc/allocate.cpp @@ -23,8 +23,7 @@ int allocate_sample_test() { #else int main() { #endif - // initialize a factory and an associated allocator (using the location "0" - // gives an OS-assigned location) + // initialize a factory and an associated allocator (1 MiB and no quarantine) klee::kdalloc::AllocatorFactory factory(static_cast<std::size_t>(1) << 20, 0); klee::kdalloc::Allocator allocator = factory.makeAllocator(); |