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.16.2 lcov report (development 29466-df46cf9131) Lines: 1585 1801 88.0 % Date: 2024-07-27 09:04:25 Functions: 149 161 92.5 % Legend: Lines: hit not hit

Function Name	Hit count
ZV_lval	0
ZV_lvalrem	0
ZXV_pvalrem	0
ZXX_pvalrem	0
ZX_gen_pvalrem	0
croak	0
gmaxgs	0
gmings	0
gtranslength	0
is_negative	0
normalizepol_approx	0
padicaff0	0
listcreate_gp	7
listkill	7
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
matsize	203
quadtofp	252
minval	336
lexcmpsg	343
list_cmp	343
lexcmp_scal_matvec	357
cvstop2	399
z_pvalrem	399
serequal	420
map_proto_G	462
ZV_Z_dvd	609
cmp_str	672
ZX_lvalrem	721
identicalrr	1547
gpvaluation	3808
padic_to_Fp	4466
gen_z_divides	4879
gtolist	5580
mklist	6492
mklist_typ	6548
gen_Z_divides	6574
gen_pvalrem_DC	11416
gmin	12180
mat_test	16268
listpop	21917
zx_lval	28931
ZV_pval	32529
vecmin	34499
listinsert	35014
listinsert0	35028
gequalsg	43988
cx_approx_equal	53397
vecmax	66116
gmax	79268
cmprfrac	81133
z_lvalrem	87346
gpexponent	89627
gaffsg	91826
ZX_pval	96382
gen_pval	128911
u_pval	136842
vecmin0	146667
vecindexmin	181317
vecmax0	226715
col_test	292411
frac_val	292597
lexcmp_similar	371979
frac_lval	390864
padic_to_Fl	421707
cmpifrac	455541
vecindexmax	503127
cvtop	600436
gcmpsg	616386
gaffect	664508
listput0	705236
ZX_lval	746096
listput	756406
gen_2val	772500
ensure_nb	791252
gen_lval	864689
gvaluation	1166387
z_pval	1317740
r_approx0	1322076
gequalX	1484322
lexcmp	1616137
lexcmp_i	1616137
z_lval	1822467
cx_approx0	1849467
factorial_lval	1982944
Z_pvalrem_DC	2095624
_domul	2204941
gassoc_proto	2418457
u_pvalrem	2593828
gequal_try	3196114
roughtype	3232617
polidentical	3432196
ZV_pvalrem	3929078
ZX_pvalrem	4234927
cmpfrac	4588483
gen_2valrem	4759546
glength	5141966
vecidentical	5249400
vecequal	5625486
Q_lvalrem	6268882
Q_pvalrem	6270487
polequal	7446902
gen_lvalrem	8151863
gen_pvalrem	8164010
Q_pval	9292963
Q_lval	9297146
normalizeser	13402030
is_monomial_test	14684175
cgetp	16899452
itop2_coprime	17608040
cvtop2	17614836
isless_iu	22165491
map_proto_lG	37331538
cmp_universal_rec	39093671
Z_pval	47068844
Z_pvalrem	49639077
gabs	50288410
Z_lvalrem	59486900
gidentical	61987875
Z_lval	62675753
gisexactzero	63700736
u_lval	65767126
gequalm1	74232864
gsigne	74531904
u_lvalrem	77934007
cmp_universal	84342251
normalizepol	98847017
gneg_i	129126974
Z_lvalrem_stop	156158537
gequal	232595084
u_lvalrem_stop	248050922
gcmp	289383635
gequal1	312973004
isexactzero	450633801
gneg	454824536
isrationalzero	547462533
normalizepol_lg	767805467
gexpo	817430198
gexpo_safe	817674191
gequal0	2250452141

Generated by: LCOV version 1.16