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.18.1 lcov report (development 30608-ad1edb9ceb) Lines: 1603 1779 90.1 %
Date: 2026-01-13 09:22:00 Functions: 96 106 90.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FpM_echelon 3364154
FpM_hnfend 3364303
FpV_Fp_mul_part_ip 5411428
FpV_red_part_ipvec 37709871
Minus 2056090
RgC_elem 511
RgM_hnfall 42
RgM_reduce 84
RgXM_snf 49
ZC_elem 41219128
ZC_lincomb1z 21860355
ZC_lincomb1z_i 21870660
ZM_hnf 89575
ZM_hnf_knapsack 238
ZM_hnfall 29338
ZM_hnfall_i 752610
ZM_hnfcenter 25163
ZM_hnflll 232690
ZM_hnfmod 162548
ZM_hnfmodall 5139067
ZM_hnfmodall_i 5190155
ZM_hnfmodid 4536564
ZM_hnfmodprime 3364142
ZM_hnfperm 385
ZM_redpart 1551883
ZM_reduce 4480221
ZM_rowrankprofile 227161
ZM_snf 15925
ZM_snf_group 712600
ZM_snf_no_divide 1235320
ZM_snfall 64188
ZM_snfall_i 796257
ZM_snfclean 1029522
ZMrow_divexact_inplace 976400
ZV_allequal 322705
ZV_extgcd 110572
ZV_gcdext_i 110586
ZV_hnfgcdext 21
ZV_snf_group 316775
ZV_snf_rank 91
ZV_snf_rank_u 49
ZV_snf_trunc 0
ZV_snfall 316790
ZV_snfclean 227089
ZpM_echelon 528149
addmulzii 519043269
addzi 239449367
affii2_or_copy_gc 47965029
allhnfmod 438120
bezout_step 820428
col_dup 2614806
col_mul 3087125
count 8159958
count2 421047
do_zero 0
findi 106347100
findi_normalize 106338988
gbezout_step 882
gsmith 0
gsmithall 0
gsnf_no_divide 196
hnf 14
hnf_divscale 197481
hnf_i 61742
hnf_invimage 547539
hnf_invscale 275325
hnf_solve 461167
hnfadd 0
hnfadd_i 92585
hnfall 14
hnfallgen 21
hnfdivide 133
hnffinal 227162
hnflll 7
hnfmerge_get_1 815984
hnfmod 14
hnfmodid 438106
hnfperm 14
hnfspec 0
hnfspec_i 134577
hnfswap 8499843
is_RgX 2590
mathnf0 287
mathnfspec 0
matsnf0 469
must_swap 4621413
negcmpii 602151
normalize_as_RgX 364
optimal_D 5188194
p_mat 0
reduce1 967385
reduce2 53154858
remove_0cols 335810
reverse_rows 465371
smith 385
smithall 35
smithclean 693
snf_group 1029527
snf_pile 1071643
snf_pile1 48
snfrank 154
subzi 6470835
trivsmith 0
update 771794
zlm_echelon 4801531
zv_snf_rank 0

Generated by: LCOV version 1.16