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 30831-19b50a36d0) Lines: 1612 1786 90.3 %
Date: 2026-04-22 09:25:48 Functions: 97 107 90.7 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FpM_echelon 3364112
FpM_hnfend 3364408
FpV_Fp_mul_part_ip 5411957
FpV_red_part_ipvec 37722863
Minus 2994401
RgC_elem 511
RgM_hnfall 42
RgM_reduce 84
RgXM_snf 49
ZC_elem 41250231
ZC_lincomb1z 29890264
ZC_lincomb1z_i 29911385
ZM_hnf 89938
ZM_hnf_knapsack 238
ZM_hnfall 29329
ZM_hnfall_i 752600
ZM_hnfcenter 25171
ZM_hnfintersectmod 28
ZM_hnflll 309050
ZM_hnfmod 162600
ZM_hnfmodall 5140213
ZM_hnfmodall_i 5191346
ZM_hnfmodid 4537297
ZM_hnfmodprime 3364122
ZM_hnfperm 385
ZM_redpart 1689700
ZM_reduce 4468669
ZM_rowrankprofile 303535
ZM_snf 15925
ZM_snf_group 764386
ZM_snf_no_divide 1301794
ZM_snfall 64237
ZM_snfall_i 848091
ZM_snfclean 1081407
ZMrow_divexact_inplace 1070800
ZV_allequal 322716
ZV_extgcd 110572
ZV_gcdext_i 111272
ZV_hnfgcdext 707
ZV_snf_group 316937
ZV_snf_rank 91
ZV_snf_rank_u 49
ZV_snf_trunc 0
ZV_snfall 316937
ZV_snfclean 227088
ZpM_echelon 528215
addmulzii 583004559
addzi 276992324
affii2_or_copy_gc 54230447
allhnfmod 438512
bezout_step 890600
col_dup 3769269
col_mul 3367704
count 10215568
count2 554408
do_zero 0
findi 128598956
findi_normalize 128575051
gbezout_step 882
gsmith 0
gsmithall 0
gsnf_no_divide 196
hnf 14
hnf_divscale 197494
hnf_i 62114
hnf_invimage 547517
hnf_invscale 275324
hnf_solve 461151
hnfadd 0
hnfadd_i 117165
hnfall 14
hnfallgen 21
hnfdivide 133
hnffinal 303534
hnflll 7
hnfmerge_get_1 815967
hnfmod 14
hnfmodid 438498
hnfperm 14
hnfspec 0
hnfspec_i 186369
hnfswap 11605802
is_RgX 2590
mathnf0 973
mathnfspec 0
matsnf0 469
must_swap 6180388
negcmpii 602522
normalize_as_RgX 364
optimal_D 5189361
p_mat 0
reduce1 991087
reduce2 64252088
remove_0cols 336148
reverse_rows 618052
smith 385
smithall 35
smithclean 693
snf_group 1081415
snf_pile 1123502
snf_pile1 48
snfrank 154
subzi 7907452
trivsmith 0
update 841948
zlm_echelon 4802302
zv_snf_rank 0

Generated by: LCOV version 1.16