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 30485-b27144eac9) Lines: 1602 1778 90.1 %
Date: 2025-09-13 09:24:24 Functions: 96 106 90.6 %
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
snf_pile1 48
RgXM_snf 49
ZV_snf_rank_u 49
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
is_RgX 2590
ZM_snf 15925
ZM_hnfcenter 25201
ZM_hnfall 29158
hnf_i 61724
ZM_snfall 64204
ZM_hnf 89377
hnfadd_i 92356
ZV_extgcd 110572
ZV_gcdext_i 110586
hnfspec_i 134815
ZM_hnfmod 162581
hnf_divscale 197446
ZV_snfclean 227094
ZM_rowrankprofile 227168
hnffinal 227169
ZM_hnflll 232699
hnf_invscale 275330
ZV_snf_group 316768
ZV_snfall 316768
ZV_allequal 322726
remove_0cols 335611
count2 420997
hnfmodid 438220
allhnfmod 438234
hnf_solve 461151
reverse_rows 465383
ZpM_echelon 528260
hnf_invimage 547292
negcmpii 602127
ZM_snf_group 712877
ZM_hnfall_i 752442
update 771846
ZM_snfall_i 796556
hnfmerge_get_1 816123
bezout_step 820479
reduce1 967385
ZMrow_divexact_inplace 976586
ZM_snfclean 1029733
snf_group 1029737
snf_pile 1071776
ZM_snf_no_divide 1235352
ZM_redpart 1551903
Minus 2058688
col_dup 2616890
col_mul 3087321
FpM_echelon 3364021
ZM_hnfmodprime 3364031
FpM_hnfend 3364207
ZM_reduce 4475437
ZM_hnfmodid 4531304
must_swap 4631473
zlm_echelon 4801461
ZM_hnfmodall 5133947
optimal_D 5183136
ZM_hnfmodall_i 5185232
FpV_Fp_mul_part_ip 5411176
subzi 6457330
count 8148445
hnfswap 8498868
ZC_lincomb1z 21862698
ZC_lincomb1z_i 21872528
FpV_red_part_ipvec 37677285
ZC_elem 41184092
affii2_or_copy_gc 47842030
reduce2 53012071
findi_normalize 106060367
findi 106068233
addzi 239494092
addmulzii 518145852

Generated by: LCOV version 1.16