RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-27 08:07:34 +00:00
Code Issues Activity Actions

AK: Add liveness tests for BinarySearch

Browse source
This commit is contained in:
Martin Janiczek 2023-09-29 22:59:20 +02:00 • committed by Tim Schumacher
parent 1452693183
commit c802971f93
1 changed files with 26 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

26
Tests/AK/TestBinarySearch.cpp
View file

@ -12,6 +12,8 @@
#include <cstring> #include <cstring>
#include <new> #include <new>
using namespace Test::Randomized;
TEST_CASE(vector_ints) TEST_CASE(vector_ints)
{ {
Vector<int> ints; Vector<int> ints;
@ -117,3 +119,27 @@ TEST_CASE(unsigned_to_signed_regression)
EXPECT_EQ(binary_search(input, 1u, &nearby_index), &input[1]); EXPECT_EQ(binary_search(input, 1u, &nearby_index), &input[1]);
EXPECT_EQ(nearby_index, 1u); EXPECT_EQ(nearby_index, 1u);
} }
RANDOMIZED_TEST_CASE(finds_number_that_is_present)
{
GEN(vec, Gen::vector(1, 16, []() { return Gen::unsigned_int(); }));
GEN(i, Gen::unsigned_int(0, vec.size() - 1));
AK::quick_sort(vec);
u32 n = vec[i];
auto ptr = binary_search(vec, n);
EXPECT_NE(ptr, nullptr);
EXPECT_EQ(*ptr, n);
}
RANDOMIZED_TEST_CASE(doesnt_find_number_that_is_not_present)
{
GEN(vec, Gen::vector(1, 16, []() { return Gen::unsigned_int(); }));
AK::quick_sort(vec);
u32 not_present = 0;
while (!vec.find(not_present).is_end()) {
++not_present;
}
EXPECT_EQ(binary_search(vec, not_present), nullptr);
}