feedc0de/mp-units
1
0 Fork 0
forked from mpusz/mp-units
Code Pull Requests Activity

Add tests to support claims in comment

Browse Source
This commit is contained in:
Chip Hogg committed 2022-03-10 23:41:36 +00:00
1 parent 04b80f0827
commit 24b284fcbb
1 file changed
+5
Download Patch File Download Diff File Expand all files Collapse all files
test/unit_test/static/prime_test.cpp
+5
View File
@@ -42,6 +42,11 @@ static_assert(some_primes[1] == 11);
static_assert(some_primes[2] == 13);
static_assert(some_primes[3] == 17);
static_assert(WheelFactorizer<1>::primes_in_first_wheel.size() == 0);
static_assert(WheelFactorizer<2>::primes_in_first_wheel.size() == 1);
static_assert(WheelFactorizer<3>::primes_in_first_wheel.size() == 7);
static_assert(WheelFactorizer<4>::primes_in_first_wheel.size() == 42);
static_assert(!WheelFactorizer<1>::is_prime(0));
static_assert(!WheelFactorizer<1>::is_prime(1));
static_assert(WheelFactorizer<1>::is_prime(2));