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 30145-32f0acf4da) Lines: 1572 1765 89.1 % Date: 2025-04-18 09:18:41 Functions: 151 160 94.4 % Legend: Lines: hit not hit

Function Name	Hit count
ZV_lval	0
ZV_lvalrem	0
ZXV_pvalrem	0
croak	0
gmaxgs	0
gmings	0
is_negative	0
normalizepol_approx	0
padicaff0	0
sizedigit	7
ctop	14
seridentical	14
lexcmp_s_matvec	21
listsort	21
gmequal_try	28
qtop	28
lexcmp_scal_vecsmall	42
lexcmp_vecsmall_mat	42
lexcmpgs	42
mkmap	49
listpop0	56
mklistcopy	63
closure_identical	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
cmp_str	672
ZX_lvalrem	721
ZXX_pvalrem	1190
ZX_gen_pvalrem	1190
ZV_Z_dvd	1309
identicalrr	1547
matsize	1862
cgetp	2009
gtranslength	3878
gpvaluation	3934
padic_to_Fp	4298
gen_z_divides	4935
gtolist	5930
mklist	6835
gen_Z_divides	6859
mklist_typ	6891
gen_pvalrem_DC	11756
gmin	12159
mat_test	16366
listpop	21917
zx_lval	28931
ZV_pval	30905
vecmin	34562
listinsert	35014
listinsert0	35028
gequalsg	43988
cx_approx_equal	49981
vecmax	66169
gmax	79310
cmprfrac	81259
z_lvalrem	87344
gpexponent	89998
gaffsg	91840
ZX_pval	101289
gen_pval	132194
u_pval	136832
minval	137186
vecmin0	146730
_Fp_div	163005
vecindexmin	181380
vecmax0	226754
frac_val	292589
col_test	294560
frac_lval	370821
lexcmp_similar	372035
padic_to_Fl	421701
cmpifrac	455541
vecindexmax	503152
cvtop	600493
gaffect	664578
listput0	724955
ZX_lval	748784
gen_2val	773487
listput	776125
gcmpsg	785945
ensure_nb	810971
gen_lval	870660
z_pval	1317999
gvaluation	1399711
polidentical	1521175
lexcmp	1616270
lexcmp_i	1616270
r_approx0	1748512
z_lval	1826697
factorial_lval	1992633
Z_pvalrem_DC	2142208
_domul	2205297
gassoc_proto	2419489
cx_approx0	2477945
u_pvalrem	2625346
gequal_try	3190998
roughtype	3232883
ZV_pvalrem	3949803
ZX_pvalrem	4301747
cmpfrac	4588959
gen_2valrem	4815431
glength	5145774
vecidentical	5264016
vecequal	5521136
Q_lvalrem	6302603
Q_pvalrem	6304189
gen_lvalrem	8239393
gen_pvalrem	8251555
gequalX	8485050
Q_pval	9308625
Q_lval	9312826
polequal	12729041
normalizeser	13353492
isless_iu	15005240
itop2_coprime	17610345
cvtop2	17617522
is_monomial_test	22645447
map_proto_lG	37148873
cmp_universal_rec	39231064
Z_pval	47254064
gabs	53308412
gidentical	54465517
gisexactzero	57209940
Z_lval	62939995
Z_lvalrem	63248119
u_lval	65863660
Z_pvalrem	67631690
gequalm1	74232990
gsigne	79574030
cmp_universal	85190447
u_lvalrem	87575353
normalizepol	99350955
Z_lvalrem_stop	116267397
u_lvalrem_stop	133453963
gneg_i	134651810
gequal	243185566
gcmp	297879475
gequal1	345170721
gneg	468140261
isexactzero	576510267
isrationalzero	768838069
gexpo	837606647
gexpo_safe	837853538
normalizepol_lg	942712353
gequal0	2488140450

Generated by: LCOV version 1.16