GCC Code Coverage Report


Directory: ./
Coverage: low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
Coverage Exec / Excl / Total
Lines: 100.0% 7 / 0 / 7
Functions: 100.0% 1 / 0 / 1
Branches: 50.0% 4 / 0 / 8

test/cpv/aizu-dpl/dpl_5_f.mintd-bd.factorial-fact_helper.cpp
Line Branch Exec Source
1 #define AUTO_GENERATED
2 // competitive-verifier: PROBLEM https://onlinejudge.u-aizu.ac.jp/courses/library/7/DPL/all/DPL_5_F
3 #include "../../../src/comb/ball_box/idl/lib.hpp"
4 #include "../../../src/comb/binom/lib.hpp"
5
6 using namespace tifa_libs;
7 CEXP u32 MOD = 1000000000 + 7;
8
9 #include "../../../src/math/ds/mint/bd/lib.hpp"
10 #include "../../../src/math/fact/helper/lib.hpp"
11
12 using namespace tifa_libs;
13 using mint = mint_bd<__LINE__>;
14 using namespace tifa_libs;
15 using fact_t = fact_helper<mint>;
16
17 30 int main() {
18 30 mint::set_mod(MOD);
19
1/2
✓ Branch 2 taken 30 times.
✗ Branch 3 not taken.
30 std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
20 u32 n, k;
21
2/4
✓ Branch 1 taken 30 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 30 times.
✗ Branch 5 not taken.
30 std::cin >> n >> k;
22 30 tifa_libs::binom<mint, fact_t> binom(2001);
23
1/2
✓ Branch 3 taken 30 times.
✗ Branch 4 not taken.
30 std::cout << tifa_libs::ball_box_idl<mint>(n, k, binom) << '\n';
24 30 return 0;
25 }
26