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 30347-cb65b7994e) Lines: 1604 1778 90.2 %
Date: 2025-06-27 09:22:08 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 15869
ZM_hnfcenter 25199
ZM_hnfall 29182
hnf_i 61716
ZM_snfall 64189
ZM_hnf 89421
hnfadd_i 92577
ZV_extgcd 110572
ZV_gcdext_i 110586
hnfspec_i 134786
ZM_hnfmod 162504
hnf_divscale 197397
ZV_snfclean 227086
ZM_rowrankprofile 227360
hnffinal 227363
ZM_hnflll 232872
hnf_invscale 275319
ZV_snf_group 316754
ZV_snfall 316754
ZV_allequal 322718
remove_0cols 335622
count2 420933
hnfmodid 438183
allhnfmod 438197
hnf_solve 461154
reverse_rows 465720
ZpM_echelon 528255
hnf_invimage 547296
negcmpii 602110
ZM_snf_group 712827
ZM_hnfall_i 752455
update 771915
ZM_snfall_i 796429
hnfmerge_get_1 816118
bezout_step 820531
reduce1 967385
ZMrow_divexact_inplace 976571
ZM_snfclean 1029661
snf_group 1029668
snf_pile 1071727
ZM_snf_no_divide 1235301
ZM_redpart 1552093
Minus 2057768
col_dup 2615049
col_mul 3087601
FpM_echelon 3361374
ZM_hnfmodprime 3361374
FpM_hnfend 3361545
ZM_reduce 4478332
ZM_hnfmodid 4528700
must_swap 4632162
zlm_echelon 4797621
ZM_hnfmodall 5131224
optimal_D 5180547
ZM_hnfmodall_i 5182498
FpV_Fp_mul_part_ip 5408024
subzi 6460040
count 8103559
hnfswap 8498474
ZC_lincomb1z 21851762
ZC_lincomb1z_i 21861411
FpV_red_part_ipvec 37663022
ZC_elem 41178731
affii2_or_copy_gc 47803677
reduce2 53005026
findi_normalize 106040624
findi 106047529
addzi 239375409
addmulzii 517876026

Generated by: LCOV version 1.16