diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-06-29 01:00:01 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-07-06 23:35:46 +0200 |
| commit | b374f04f313f65915df7017b5260654aa49c19b0 (patch) | |
| tree | 4e454603b4a13a30f874b4666d2c1db174414c59 /unittests | |
| parent | c699cc56365d828388b082ff0f64bc4d6f7496c7 (diff) | |
| download | klee-b374f04f313f65915df7017b5260654aa49c19b0.tar.gz | |
rename Allocator::location_info to Allocator::locationInfo for
consistency
Diffstat (limited to 'unittests')
| -rw-r--r-- | unittests/KDAlloc/randomtest.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/unittests/KDAlloc/randomtest.cpp b/unittests/KDAlloc/randomtest.cpp index c78746bb..4d2eca9c 100644 --- a/unittests/KDAlloc/randomtest.cpp +++ b/unittests/KDAlloc/randomtest.cpp @@ -78,16 +78,16 @@ public: auto choice = std::uniform_int_distribution<std::size_t>( 0, allocations.size() - 1)(rng); #if defined(USE_KDALLOC) - assert(allocator.location_info(allocations[choice].first, 1) == + assert(allocator.locationInfo(allocations[choice].first, 1) == klee::kdalloc::LocationInfo::LI_AllocatedOrQuarantined); - assert(allocator.location_info(allocations[choice].first, - allocations[choice].second) == + assert(allocator.locationInfo(allocations[choice].first, + allocations[choice].second) == klee::kdalloc::LocationInfo::LI_AllocatedOrQuarantined); allocator.free(allocations[choice].first, allocations[choice].second); - assert(allocator.location_info(allocations[choice].first, 1) == + assert(allocator.locationInfo(allocations[choice].first, 1) == klee::kdalloc::LocationInfo::LI_Unallocated); - assert(allocator.location_info(allocations[choice].first, - allocations[choice].second) == + assert(allocator.locationInfo(allocations[choice].first, + allocations[choice].second) == klee::kdalloc::LocationInfo::LI_Unallocated); #else free(allocations[choice].first); |