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:

• with GMP kernel
• with GMP kernel using --mt=pthread
• with native kernel, including micro-assembler code
• with native kernel, without micro-assembler
• with native kernel, without micro-assembler, disabling GCC extensions (DISABLE_INLINE)
• with GMP kernel, emulating an x86_32 architecture at Configure time via setarch

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 30368-f792e9816c) Lines: 1602 1778 90.1 % Date: 2025-07-04 09:22:57 Functions: 96 106 90.6 % Legend: Lines: hit not hit

Function Name	Hit count
FpM_echelon	3361397
FpM_hnfend	3361598
FpV_Fp_mul_part_ip	5407919
FpV_red_part_ipvec	37664626
Minus	2058008
RgC_elem	511
RgM_hnfall	42
RgM_reduce	84
RgXM_snf	49
ZC_elem	41177673
ZC_lincomb1z	21856710
ZC_lincomb1z_i	21867047
ZM_hnf	89393
ZM_hnf_knapsack	238
ZM_hnfall	29171
ZM_hnfall_i	752433
ZM_hnfcenter	25201
ZM_hnflll	232895
ZM_hnfmod	162502
ZM_hnfmodall	5131296
ZM_hnfmodall_i	5182583
ZM_hnfmodid	4528778
ZM_hnfmodprime	3361391
ZM_hnfperm	385
ZM_redpart	1551832
ZM_reduce	4477785
ZM_rowrankprofile	227385
ZM_snf	15869
ZM_snf_group	712844
ZM_snf_no_divide	1235234
ZM_snfall	64190
ZM_snfall_i	796447
ZM_snfclean	1029698
ZMrow_divexact_inplace	976577
ZV_allequal	322719
ZV_extgcd	110572
ZV_gcdext_i	110586
ZV_hnfgcdext	21
ZV_snf_group	316763
ZV_snf_rank	91
ZV_snf_rank_u	49
ZV_snf_trunc	0
ZV_snfall	316764
ZV_snfclean	227093
ZpM_echelon	528260
addmulzii	517788160
addzi	239310093
affii2_or_copy_gc	47797741
allhnfmod	438197
bezout_step	820442
col_dup	2614981
col_mul	3087261
count	8104579
count2	421043
do_zero	0
findi	106066199
findi_normalize	106057111
gbezout_step	882
gsmith	0
gsmithall	0
gsnf_no_divide	196
hnf	14
hnf_divscale	197412
hnf_i	61699
hnf_invimage	547287
hnf_invscale	275326
hnf_solve	461144
hnfadd	0
hnfadd_i	92599
hnfall	14
hnfallgen	21
hnfdivide	133
hnffinal	227386
hnflll	7
hnfmerge_get_1	816117
hnfmod	14
hnfmodid	438183
hnfperm	14
hnfspec	0
hnfspec_i	134786
hnfswap	8500123
is_RgX	2590
mathnf0	287
mathnfspec	0
matsnf0	469
must_swap	4634108
negcmpii	602129
normalize_as_RgX	364
optimal_D	5180443
p_mat	0
reduce1	967385
reduce2	53008918
remove_0cols	335590
reverse_rows	465771
smith	385
smithall	35
smithclean	693
snf_group	1029699
snf_pile	1071753
snf_pile1	48
snfrank	154
subzi	6458518
trivsmith	0
update	771824
zlm_echelon	4797614
zv_snf_rank	0

Generated by: LCOV version 1.16