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 - gen2.c (source / functions) Hit Total Coverage Test: PARI/GP v2.18.1 lcov report (development 30835-e55edf4b45) Lines: 1554 1658 93.7 % Date: 2026-04-26 09:26:37 Functions: 149 156 95.5 % Legend: Lines: hit not hit

Function Name	Hit count
ZV_lval	0
ZV_lvalrem	0
ZXV_pvalrem	0
gmaxgs	0
gmings	0
is_negative	0
normalizepol_approx	0
sizedigit	7
ctop	14
seridentical	14
lexcmp_s_matvec	21
listsort	21
gmequal_try	28
lexcmp_scal_vecsmall	42
lexcmp_vecsmall_mat	42
lexcmpgs	42
qtop	42
mkmap	49
listpop0	56
closure_identical	70
mklistcopy	70
gtolong	77
intdvd	91
lexcmp_vec_mat	98
gcvtop	126
map_proto_lGL	126
lexcmp_vecsmall_vec	154
cmpgen	161
chk_true_err	189
lexcmp_vecsmall_other	196
quadtofp	252
lexcmpsg	343
list_cmp	343
lexcmp_scal_matvec	357
cvstop2	399
z_pvalrem	399
serequal	420
map_proto_G	462
ZX_lvalrem	721
ZV_Z_dvd	1309
ZXX_pvalrem	1400
ZX_gen_pvalrem	1400
identicalrr	1547
matsize	1862
affgc	2590
gtranslength	3878
gpvaluation	3934
padic_to_Fp	4550
gen_z_divides	4935
gtolist	5965
gen_Z_divides	6854
mklist	6870
mklist_typ	6926
gen_pvalrem_DC	11751
gmin	12180
mat_test	16366
listpop	21917
zx_lval	28931
ZV_pval	30934
listinsert	35014
listinsert0	35028
vecmin	35234
gequalsg	43988
vecmax	66197
minval	77315
gmax	79310
cmprfrac	81308
z_lvalrem	87344
gpexponent	90229
ZX_pval	102493
gen_pval	133427
u_pval	136881
vecmin0	147402
_Fp_div	163005
vecindexmin	182759
vecmax0	226887
frac_val	292596
col_test	294560
lexcmp_similar	372031
frac_lval	381835
padic_to_Fl	421701
cmpifrac	455744
vecindexmax	503299
cvtop	600615
listput0	724955
gcmpsg	762247
ZX_lval	766536
listput	776125
gen_2val	791968
ensure_nb	810971
gen_lval	889638
z_pval	1318022
gvaluation	1396053
lexcmp_i	1617659
lexcmp	1617660
r_approx0	1809520
z_lval	1836746
factorial_lval	1993220
Z_pvalrem_DC	2184782
_domul	2258886
gassoc_proto	2463154
cx_approx_equal	2496154
cx_approx0	2507740
u_pvalrem	2624854
roughtype	3235660
cmp_str	3681020
ZV_pvalrem	4182882
ZX_pvalrem	4304864
cmpfrac	4592193
gen_2valrem	4914761
glength	5149977
gequal_try	5316307
vecidentical	5441419
vecequal	5573921
polidentical	5629340
Q_lvalrem	6302785
Q_pvalrem	6304384
gen_lvalrem	8475533
gen_pvalrem	8487737
gequalX	8508144
Q_pval	9425951
Q_lval	9430143
polequal	10557580
normalizeser	15095790
isless_iu	15153205
itop2_coprime	17613479
cvtop2	17620144
is_monomial_test	19829203
map_proto_lG	37306058
cmp_universal_rec	39283442
gisexactzero	47327860
Z_pval	50390151
gabs	53576516
Z_lvalrem	64494604
Z_pvalrem	69394068
Z_lval	70328139
u_lval	71609613
gequalm1	74233555
gsigne	83744343
cmp_universal	89002500
u_lvalrem	89647458
normalizepol	99617916
Z_lvalrem_stop	116607956
gidentical	123814527
u_lvalrem_stop	133990203
gneg_i	140241618
gequal	240412487
gcmp	282799574
gequal1	339964227
gneg	466030325
isexactzero	743489874
gexpo	842834060
gexpo_safe	843122967
isrationalzero	900926738
normalizepol_lg	962279300
gequal0	2693837955

Generated by: LCOV version 1.16