From 24b284fcbbd0467935494441da775fc458395b35 Mon Sep 17 00:00:00 2001 From: Chip Hogg Date: Thu, 10 Mar 2022 23:41:36 +0000 Subject: [PATCH] Add tests to support claims in comment --- test/unit_test/static/prime_test.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/test/unit_test/static/prime_test.cpp b/test/unit_test/static/prime_test.cpp index 650f5b64..8360a60e 100644 --- a/test/unit_test/static/prime_test.cpp +++ b/test/unit_test/static/prime_test.cpp @@ -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));