Files
c3c/test/unit/stdlib/sort/binarysearch.c3
Pierre Curto 35bffdadc2 improve the sort and collections libs (#853)
* lib/std/sort: unify binarysearch and binarysearch_with; add comments to quicksort

Signed-off-by: Pierre Curto <pierre.curto@gmail.com>

* lib/std/collections: mark List.{len, is_empty, get} with @inline

Signed-off-by: Pierre Curto <pierre.curto@gmail.com>

* lib/std/collections: add PriorityQueueMax; add tests for PriorityQueue and PriorityQueueMax

Signed-off-by: Pierre Curto <pierre.curto@gmail.com>

---------

Signed-off-by: Pierre Curto <pierre.curto@gmail.com>
2023-07-15 19:08:54 +02:00

37 lines
1.0 KiB
Plaintext

module sort_test @test;
import std::sort;
struct BinarySearchTest
{
int[] data;
int x;
int index;
}
fn void binarysearch()
{
BinarySearchTest[] tcases = {
{ {}, 0, 0 },
{ {1, 2, 3}, 1, 0 },
{ {1, 2, 3}, 2, 1 },
{ {1, 2, 3}, 3, 2 },
{ {1, 2, 3}, 4, 3 },
{ {10, 20, 30}, 14, 1 },
{ {10, 20, 30}, 26, 2 },
};
foreach (tc : tcases)
{
usz idx = sort::binarysearch(tc.data, tc.x);
assert(idx == tc.index, "%s: got %d; want %d", tc.data, idx, tc.index);
usz cmp_idx = sort::binarysearch(tc.data, tc.x, &sort::cmp_int_ref);
assert(cmp_idx == tc.index, "%s: got %d; want %d", tc.data, cmp_idx, tc.index);
usz cmp_idx2 = sort::binarysearch(tc.data, tc.x, &sort::cmp_int_value);
assert(cmp_idx2 == tc.index, "%s: got %d; want %d", tc.data, cmp_idx2, tc.index);
usz cmp_idx3 = sort::binarysearch(tc.data, tc.x, fn int(int a, int b) => a - b);
assert(cmp_idx3 == tc.index, "%s: got %d; want %d", tc.data, cmp_idx2, tc.index);
}
}