GCC Code Coverage Report


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

test/cpv/aizu-dpl/dpl_5_d.mints-bs.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_D
3 #include "../../../src/comb/ball_box/ida/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/bs/lib.hpp"
10 #include "../../../src/math/fact/helper/lib.hpp"
11
12 using namespace tifa_libs;
13 using mint = mint_bs<MOD>;
14 using namespace tifa_libs;
15 using fact_t = fact_helper<mint>;
16
17 28 int main() {
18
1/2
✓ Branch 2 taken 28 times.
✗ Branch 3 not taken.
28 std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
19 u32 n, k;
20
2/4
✓ Branch 1 taken 28 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 28 times.
✗ Branch 5 not taken.
28 std::cin >> n >> k;
21 28 tifa_libs::binom<mint, fact_t> binom(2001);
22
1/2
✓ Branch 3 taken 28 times.
✗ Branch 4 not taken.
28 std::cout << tifa_libs::ball_box_ida<mint>(n, k, binom) << '\n';
23 28 return 0;
24 }
25