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 - alglin2.c (source / functions) Hit Total Coverage Test: PARI/GP v2.18.1 lcov report (development 30347-cb65b7994e) Lines: 1075 1189 90.4 % Date: 2025-06-27 09:22:08 Functions: 89 96 92.7 % Legend: Lines: hit not hit

Function Name	Hit count
Flm_trace	0
Frobeniusform	0
QM_ImZ_hnf	0
QM_ImZ_hnfall	0
RgM_replace	0
RgXQ_minpoly_FpXQ	0
gc_mat2	0
RgM1_char	7
adjsafe	7
qfgaussred2	7
caract	14
qfcholesky	14
RgM_adj_from_char	21
RgXQ_minpoly_FpXQXQ	21
qfgaussred	21
qfgaussred0	21
QM_ImZ	28
QM_ImZ_all	28
cxquadnorm	28
jacobi	28
RgM_Fp_charpoly	35
matcompanion	35
QM_minors_coprime	42
caract_const	42
RgM_minpoly	49
minpoly_listpolslice	49
QM_ImQ	56
bad_char	56
RgXQ_minpoly_naive	63
pnormlpvec	63
adj	105
matadjoint0	112
caradj	119
matrixqz0	133
RgM_hess_charpoly	161
carhess	161
RgM_hess	168
gnorml1	168
hess	168
pnormlp	196
minpoly_dvdslice	203
QM_charpoly_ZX_bound	266
relative0	364
gnormlp	371
matfrobenius	504
minpoly_polslice	504
RgM_Frobenius	553
charpoly0	553
transS	630
FpM_hess	802
weakfrobenius_step1	826
weakfrobenius_step2	826
weakfrobenius_step3	826
QM_ImQ_hnf	1183
carberkowitz	1743
QM_charpoly_ZX	1848
mattrace	1967
fix_pol	1974
Flm_charpoly	2157
ZM_charpoly	2412
transD	2842
RgXQ_minpoly	3249
RgXQ_minpoly_fast	3249
QM_ImQ_hnfall	3402
QM_ImQ_all	3458
QM_ImZ_all_i	3479
easymin	3668
minpoly	3668
charpoly	3868
charpoly_bound	3938
QM_charpoly_ZX_slice	4355
QM_charpoly_ZX_worker	4355
QM_charpoly_ZX_i	4526
intersect	5691
easychar	5954
qfsign	12179
gaussred	12200
transL	15239
rot	19180
FpM_charpoly	29584
Flm_charpoly_i	34573
Flm_hess	34573
Flm_hess_pre	34573
suitable	47429
RgM_Cholesky	68786
qfgaussred_positive	70142
gnorml1_fake	152173
FpM_trace	219685
ZM_trace	289419
gtrace	762291
gsupnorm	1238043
gnorm	3540275
store	29518930
gsupnorm_aux	35518196
gnorml2	37213303
gnorml2_i	37213970

Generated by: LCOV version 1.16