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:

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 30072-2ccdc2326c) Lines: 1571 1765 89.0 %
Date: 2025-03-12 09:19:58 Functions: 151 160 94.4 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by 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 1176
ZX_gen_pvalrem 1176
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 12319
mat_test 16366
listpop 21917
zx_lval 28931
ZV_pval 30905
vecmin 34562
listinsert 35014
listinsert0 35028
gequalsg 43988
cx_approx_equal 49981
vecmax 66170
gmax 79310
cmprfrac 81238
z_lvalrem 87347
gpexponent 89942
gaffsg 91840
ZX_pval 101898
gen_pval 132803
u_pval 136808
minval 137186
vecmin0 146730
_Fp_div 163005
vecindexmin 181380
vecmax0 226755
frac_val 292589
col_test 294560
frac_lval 370822
lexcmp_similar 372034
padic_to_Fl 421691
cmpifrac 455541
vecindexmax 503195
cvtop 600488
gaffect 664578
listput0 724955
ZX_lval 748784
gen_2val 773487
listput 776125
gcmpsg 785978
ensure_nb 810971
gen_lval 871269
z_pval 1317993
gvaluation 1399711
polidentical 1521175
lexcmp 1616261
lexcmp_i 1616261
r_approx0 1748707
z_lval 1824546
factorial_lval 1992712
Z_pvalrem_DC 2141790
_domul 2205297
gassoc_proto 2419446
cx_approx0 2478267
u_pvalrem 2624815
gequal_try 3187995
roughtype 3232873
ZV_pvalrem 3950359
ZX_pvalrem 4313890
cmpfrac 4588959
gen_2valrem 4814800
glength 5145711
vecidentical 5264709
vecequal 5521036
Q_lvalrem 6302614
Q_pvalrem 6304209
polequal 7755413
gen_lvalrem 8252079
gen_pvalrem 8264246
gequalX 8485228
Q_pval 9309550
Q_lval 9313750
normalizeser 13353324
isless_iu 14998855
is_monomial_test 15247126
itop2_coprime 17610468
cvtop2 17617435
map_proto_lG 36335081
cmp_universal_rec 39232671
Z_pval 47265227
gabs 53322253
gidentical 54467178
gisexactzero 62302265
Z_lval 62954268
Z_lvalrem 63254825
u_lval 65874603
Z_pvalrem 67638163
gequalm1 74232990
gsigne 79476624
cmp_universal 85194182
u_lvalrem 87587571
normalizepol 99388882
Z_lvalrem_stop 117031534
u_lvalrem_stop 134247747
gneg_i 134907444
gequal 232483630
gcmp 297136126
gequal1 327695462
gneg 468252931
isexactzero 581859805
isrationalzero 760112128
gexpo 822149604
gexpo_safe 822395146
normalizepol_lg 925401866
gequal0 2470695855

Generated by: LCOV version 1.16