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 29877-9124a6ce27) Lines: 1052 1161 90.6 % Date: 2025-01-18 09:08:44 Functions: 85 91 93.4 % Legend: Lines: hit not hit

Function Name	Hit count
Flm_charpoly	2151
Flm_charpoly_i	34419
Flm_hess	34419
FpM_charpoly	29486
FpM_hess	785
Frobeniusform	0
QM_ImQ	56
QM_ImQ_all	3458
QM_ImQ_hnf	1183
QM_ImQ_hnfall	3402
QM_ImZ	28
QM_ImZ_all	28
QM_ImZ_all_i	3479
QM_ImZ_hnf	0
QM_ImZ_hnfall	0
QM_charpoly_ZX	1834
QM_charpoly_ZX_bound	266
QM_charpoly_ZX_i	4463
QM_charpoly_ZX_slice	4285
QM_charpoly_ZX_worker	4285
QM_minors_coprime	42
RgM_Cholesky	68493
RgM_Fp_charpoly	35
RgM_Frobenius	518
RgM_adj_from_char	21
RgM_hess	168
RgM_hess_charpoly	161
RgM_minpoly	49
RgM_replace	0
RgXQ_minpoly	3255
RgXQ_minpoly_FpXQ	0
RgXQ_minpoly_FpXQXQ	21
RgXQ_minpoly_fast	3255
RgXQ_minpoly_naive	63
ZM_charpoly	2363
adj	105
adjsafe	7
bad_char	56
caract	14
caract_const	42
caradj	119
carberkowitz	1722
carhess	161
charpoly	3798
charpoly0	553
charpoly_bound	3868
cxquadnorm	28
easychar	5863
easymin	3668
fix_pol	1960
gaussred	12200
gerepilemat2_inplace	0
gnorm	3540807
gnorml1	168
gnorml1_fake	142765
gnorml2	36765414
gnorml2_i	36765965
gnormlp	357
gsupnorm	1229307
gsupnorm_aux	35154536
gtrace	761678
hess	168
intersect	5691
jacobi	28
matadjoint0	112
matcompanion	35
matfrobenius	469
matrixqz0	133
mattrace	1960
minpoly	3668
minpoly_dvdslice	182
minpoly_listpolslice	49
minpoly_polslice	462
pnormlp	196
pnormlpvec	63
qfcholesky	14
qfgaussred	21
qfgaussred0	21
qfgaussred2	7
qfgaussred_positive	69849
qfsign	12179
relative0	364
rot	19180
store	29202821
suitable	47429
transD	2702
transL	14952
transS	574
weakfrobenius_step1	770
weakfrobenius_step2	770
weakfrobenius_step3	770

Generated by: LCOV version 1.16