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 30364-8108102770) Lines: 1602 1778 90.1 %
Date: 2025-06-30 09:21:07 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 25198
ZM_hnfall 29175
hnf_i 61714
ZM_snfall 64190
ZM_hnf 89412
hnfadd_i 92496
ZV_extgcd 110572
ZV_gcdext_i 110586
hnfspec_i 134787
ZM_hnfmod 162504
hnf_divscale 197410
ZV_snfclean 227083
ZM_rowrankprofile 227284
hnffinal 227284
ZM_hnflll 232793
hnf_invscale 275317
ZV_snf_group 316753
ZV_snfall 316753
ZV_allequal 322724
remove_0cols 335601
count2 420881
hnfmodid 438184
allhnfmod 438198
hnf_solve 461154
reverse_rows 465564
ZpM_echelon 528260
hnf_invimage 547278
negcmpii 602112
ZM_snf_group 712842
ZM_hnfall_i 752444
update 771843
ZM_snfall_i 796447
hnfmerge_get_1 816116
bezout_step 820445
reduce1 967385
ZMrow_divexact_inplace 976590
ZM_snfclean 1029664
snf_group 1029673
snf_pile 1071741
ZM_snf_no_divide 1235239
ZM_redpart 1551864
Minus 2057535
col_dup 2615023
col_mul 3087234
FpM_echelon 3361221
ZM_hnfmodprime 3361236
FpM_hnfend 3361461
ZM_reduce 4478887
ZM_hnfmodid 4528498
must_swap 4631736
zlm_echelon 4797609
ZM_hnfmodall 5131263
optimal_D 5180596
ZM_hnfmodall_i 5182579
FpV_Fp_mul_part_ip 5407975
subzi 6458733
count 8103229
hnfswap 8496257
ZC_lincomb1z 21847601
ZC_lincomb1z_i 21856323
FpV_red_part_ipvec 37665230
ZC_elem 41179896
affii2_or_copy_gc 47794165
reduce2 52987742
findi_normalize 106008783
findi 106019171
addzi 239171641
addmulzii 517735463

Generated by: LCOV version 1.16