Code coverage tests

This page documents the degree to which the PARI/GP source code is tested by our public test suite, distributed with the source distribution in directory src/test/. This is measured by the gcov utility; we then process gcov output using the lcov frond-end.

We test a few variants depending on Configure flags on the pari.math.u-bordeaux.fr machine (x86_64 architecture), and agregate them in the final report:

The target is to exceed 90% coverage for all mathematical modules (given that branches depending on DEBUGLEVEL or DEBUGMEM are not covered). This script is run to produce the results below.

LCOV - code coverage report
Current view: top level - basemath - hnf_snf.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 1557 1728 90.1 %
Date: 2024-05-01 08:07:45 Functions: 90 100 90.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
ZV_snf_trunc 0
do_zero 0
gsmith 0
gsmithall 0
hnfadd 0
hnfspec 0
mathnfspec 0
p_mat 0
trivsmith 0
zv_snf_rank 0
hnflll 7
hnf 14
hnfall 14
hnfmod 14
hnfperm 14
ZV_hnfgcdext 21
hnfallgen 21
smithall 35
RgM_hnfall 42
RgXM_snf 49
ZV_snf_rank_u 49
snf_pile1 63
RgM_reduce 84
ZV_snf_rank 91
hnfdivide 133
snfrank 154
gsnf_no_divide 196
ZM_hnf_knapsack 238
mathnf0 287
normalize_as_RgX 364
ZM_hnfperm 385
smith 385
matsnf0 469
RgC_elem 511
smithclean 693
gbezout_step 882
ZM_snf 1638
is_RgX 2590
ZM_hnfall 24400
ZM_hnfcenter 25080
hnf_i 54421
ZM_snfall 63805
hnfadd_i 76772
ZM_hnf 77344
ZV_extgcd 109032
ZV_gcdext_i 109046
hnfspec_i 133961
ZM_hnfmod 155468
hnf_divscale 195924
ZM_rowrankprofile 210733
hnffinal 210735
ZM_hnflll 213927
ZV_snfclean 214162
ZV_allequal 219752
hnf_invscale 236790
ZV_snf_group 301364
ZV_snfall 301364
remove_0cols 309808
hnf_solve 314476
hnf_invimage 365790
hnfmodid 397335
allhnfmod 397350
count2 410051
reverse_rows 427836
negcmpii 517577
ZpM_echelon 524255
ZM_snf_group 642806
update 673413
bezout_step 695641
ZM_snfall_i 711747
ZM_hnfall_i 717621
hnfmerge_get_1 741101
ZMrow_divexact_inplace 861318
ZM_snfclean 944253
snf_group 944257
reduce1 949238
snf_pile 972079
ZM_snf_no_divide 1063402
ZM_redpart 1378119
Minus 2025437
col_dup 2652743
col_mul 2693607
FpM_echelon 3167920
ZM_hnfmodprime 3167950
FpM_hnfend 3168149
ZM_reduce 4131491
ZM_hnfmodid 4171663
zlm_echelon 4650332
ZM_hnfmodall 4725630
must_swap 4732146
optimal_D 4772654
ZM_hnfmodall_i 4774685
FpV_Fp_mul_part_ip 5297650
count 7979284
hnfswap 8371829
FpV_red_part_ipvec 35108061
ZC_elem 39077586
reduce2 52956942
findi_normalize 105912512
findi 105953879

Generated by: LCOV version 1.14