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 30556-bb9f5f8fc8) Lines: 1554 1658 93.7 % Date: 2025-11-25 09:20:50 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
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
ZX_lvalrem	721
ZV_Z_dvd	1162
ZXX_pvalrem	1197
ZX_gen_pvalrem	1197
identicalrr	1547
matsize	2100
affgc	2590
gpvaluation	3934
padic_to_Fp	4298
gtranslength	4354
gen_z_divides	4935
gtolist	5930
mklist	6835
gen_Z_divides	6855
mklist_typ	6891
gen_pvalrem_DC	11752
gmin	12250
mat_test	16366
listpop	21917
zx_lval	28931
ZV_pval	30261
listinsert	35014
listinsert0	35028
vecmin	35199
gequalsg	43988
cx_approx_equal	49981
vecmax	66202
gmax	79310
cmprfrac	81308
z_lvalrem	87338
gpexponent	90215
ZX_pval	101303
gen_pval	131564
u_pval	136723
minval	137186
vecmin0	147367
_Fp_div	163004
vecindexmin	182024
vecmax0	226864
frac_val	292592
col_test	294798
lexcmp_similar	372035
frac_lval	378211
padic_to_Fl	421700
cmpifrac	455590
vecindexmax	501582
cvtop	600507
listput0	727097
ZX_lval	748889
gcmpsg	762239
gen_2val	773151
listput	778267
ensure_nb	813113
gen_lval	870128
z_pval	1318005
gvaluation	1400173
polidentical	1528749
lexcmp	1616270
lexcmp_i	1616270
r_approx0	1803779
z_lval	1844038
factorial_lval	1991989
Z_pvalrem_DC	2178336
_domul	2258845
gassoc_proto	2462181
cx_approx0	2551417
u_pvalrem	2621105
gequal_try	3189632
roughtype	3232883
cmp_str	3681020
ZV_pvalrem	4169154
ZX_pvalrem	4296753
cmpfrac	4588632
gen_2valrem	4908367
glength	5148805
vecidentical	5434302
vecequal	5439240
Q_lvalrem	6302710
Q_pvalrem	6304309
gen_lvalrem	8453669
gen_pvalrem	8465887
gequalX	8483149
Q_pval	9335127
Q_lval	9339324
polequal	12552485
normalizeser	13407890
isless_iu	14946829
itop2_coprime	17611764
cvtop2	17619273
is_monomial_test	22646178
map_proto_lG	37130871
cmp_universal_rec	39224601
Z_pval	49573876
gabs	52946210
gidentical	54623840
gisexactzero	57208268
Z_lvalrem	64330768
Z_pvalrem	68740124
Z_lval	69269924
u_lval	70634959
gequalm1	74233424
gsigne	81225290
cmp_universal	88325611
u_lvalrem	89402319
normalizepol	98929462
Z_lvalrem_stop	116507066
gneg_i	129080618
u_lvalrem_stop	135130538
gequal	239133078
gcmp	297099978
gequal1	341755272
gneg	461612799
isexactzero	573562603
isrationalzero	766274789
gexpo	836860199
gexpo_safe	837149340
normalizepol_lg	934597467
gequal0	2484739140

Generated by: LCOV version 1.16