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 29950-285c5b69ed) Lines: 1594 1788 89.1 % Date: 2025-02-05 09:09:51 Functions: 150 159 94.3 % 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
minval	329
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	1176
ZX_gen_pvalrem	1176
ZV_Z_dvd	1225
identicalrr	1547
matsize	1862
gpvaluation	3808
gtranslength	3878
padic_to_Fp	4298
gen_z_divides	5082
gtolist	5930
mklist	6835
gen_Z_divides	6883
mklist_typ	6891
gen_pvalrem_DC	11927
gmin	12285
mat_test	16366
listpop	21917
zx_lval	28931
ZV_pval	30861
vecmin	34548
listinsert	35014
listinsert0	35028
gequalsg	43988
cx_approx_equal	49981
vecmax	66166
gmax	79310
cmprfrac	81217
z_lvalrem	87345
gpexponent	89795
gaffsg	91840
ZX_pval	101898
gen_pval	132759
u_pval	136939
vecmin0	146716
vecindexmin	181366
vecmax0	226751
frac_val	292589
col_test	294560
frac_lval	370710
lexcmp_similar	372034
padic_to_Fl	421694
cmpifrac	455541
vecindexmax	503190
cvtop	600505
gaffect	664578
listput0	724955
ZX_lval	748784
gen_2val	773485
listput	776125
gcmpsg	780699
ensure_nb	810971
gen_lval	871225
gvaluation	1166023
z_pval	1318011
gequalX	1484959
polidentical	1520475
lexcmp	1616266
lexcmp_i	1616266
r_approx0	1748522
z_lval	1824633
factorial_lval	1991876
Z_pvalrem_DC	2147626
_domul	2205289
gassoc_proto	2419288
cx_approx0	2477401
u_pvalrem	2622669
gequal_try	3187231
roughtype	3232871
ZV_pvalrem	3952804
ZX_pvalrem	4311305
cmpfrac	4588944
gen_2valrem	4812959
glength	5145683
vecidentical	5264160
vecequal	5518582
Q_lvalrem	6302610
Q_pvalrem	6304206
polequal	7750423
gen_lvalrem	8251896
gen_pvalrem	8264093
Q_pval	9304315
Q_lval	9308511
normalizeser	13353268
isless_iu	15029442
is_monomial_test	15241099
cgetp	16932385
itop2_coprime	17610583
cvtop2	17618217
map_proto_lG	37253320
cmp_universal_rec	39220271
Z_pval	47227680
gabs	53242185
gidentical	54362024
gisexactzero	62301498
Z_lval	62910488
Z_lvalrem	63331160
u_lval	65861015
Z_pvalrem	67677375
gequalm1	74232934
gsigne	79459857
cmp_universal	85033364
u_lvalrem	87607407
normalizepol	99325269
Z_lvalrem_stop	117720473
gneg_i	133185758
u_lvalrem_stop	134889675
gequal	232325456
gcmp	290944558
gequal1	327587215
isexactzero	455939474
gneg	465527234
isrationalzero	556274617
normalizepol_lg	784115200
gexpo	821521247
gexpo_safe	821761603
gequal0	2289751105

Generated by: LCOV version 1.16