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

Generated by: LCOV version 1.16