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 - base3.c (source / functions) Hit Total Coverage Test: PARI/GP v2.16.1 lcov report (development 28676-df828f1c94) Lines: 2042 2174 93.9 % Date: 2023-08-26 07:54:43 Functions: 228 241 94.6 % Legend: Lines: hit not hit

Function Name	Hit count
Ideallist	11333
Idealstar	952
Idealstarmod	257602
Idealstarmod_i	257874
Idealstarprk	273
Q_mod_bid	14
RgC_to_nfC	89649
RgM_RgX_mul	1337
RgM_to_nfM	10589
RgX_to_nfX	29046
ZC_add1	169575
ZC_cxlog	1689121
ZC_nfval	12739034
ZC_nfvalrem	16944029
ZC_prdvd	1243546
ZC_sub1	70399
ZMV_ZCV_mul	1751336
ZM_ZMV_mul	518
ZM_ZX_mul	9508735
ZV_snf_gcd	2140499
_mul	197226
_mulii	1075651411
_nf_add	12607391
_nf_inv	51544
_nf_mul	15113619
_nf_neg	742170
_nf_red	3045922
_nf_s	10400
_sqr	712664
algtobasis	913838
apply_U	2144081
basistoalg	156747
bid_grp	258198
check_mod_factored	258514
check_nfelt	218408
checkarchp	134030
chineseinit_i	3862
chk_ind	6573
coltoalg	105634
concat_join	758977
cxlog_1	23164
cxlog_m1	518
ei_multable	38367
eltmul	297563
eltpow	434564
eval_sign	769881
eval_sign_embed	884537
famatQ_to_famatZ	35
famat_abs	35
famat_cba	35
famat_cxlog	223409
famat_logembed	1309
famat_nfvalrem	420658
famat_norm	35
famat_sign	35
famat_strip2	258531
famat_to_nf_modideal_coprime	2613555
famat_zlog	1370829
famat_zlog_pr	1961996
famat_zlog_pr_coprime	196
get_C	172665
get_nf_field	221457
get_tab	32192611
gideallist	63
gpnfvalrem	14952
idealHNF_norm_pval	63
idealchinese	6688
idealfactorback	85313
ideallist	10563
ideallist0	11298
ideallistarch	14
ideallog	13755
ideallog_i	1379683
ideallog_units	84
ideallog_units0	226776
ideallogmod	1386361
idealprincipalunits	140
idealprincipalunits_i	168943
idealstar0	0
idealstarmod	98
idmul	70975
idmulred	75
idpow	86823
idpowred	432
indices_to_vec01	136668
init_zlog	379604
init_zlog_mod	1986043
is_chineseinit	8622
is_famat	50855541
isprfact	3407
join_arch	42
join_archunit	14
join_bid	469
join_bid_arch	42
join_ideal	268595
join_idealinit	469
join_unit	448
log_gen_arch	85869
log_gen_pr	413117
log_prk	2608835
log_prk1	1325686
log_prk_init	90062
log_prk_units	518
log_prk_units_init	49
low_prec	4537057
matalgtobasis	29944
matbasistoalg	2142
mulbytab	10646
multable	2520
nfC_multable_mul	55212
nfC_nf_mul	194994
nfM_det	14
nfM_inv	10386
nfM_ker	0
nfM_mul	9966
nfM_nfC_mul	201091
nfV_cxlog	98
nf_cxlog	1308499
nf_to_scalar_or_alg	3554695
nf_to_scalar_or_basis	123176025
nfadd	19118186
nfarchstar	259184
nfchecksigns	1085
nfchecksigns_i	96677
nfdiv	35960
nfdiveuc	259
nfdivrem	259
nfeltembed	294
nfeltembed_i	294
nfeltsign	93940
nfembed	0
nfembed_i	658
nffactorback	265039
nfinv	83385
nfinvmodideal	175
nfispower	8146
nfissquare	56
nflogembed	113232
nfmod	259
nfmul	25955422
nfmuli	4188510
nfmuli_ZC	4679959
nfmulmodideal	7634680
nfmulpowmodideal	4643329
nfnorm	95166
nfpolsturm	1526
nfpow	799590
nfpow_u	223355
nfpowmodideal	5774951
nfsetsigns	286415
nfsign	43911
nfsign_arch	1003146
nfsqr	6117445
nfsqri	4632164
nfsqri_ZC	4893600
nfsqrmodideal	3097456
nfsub	1329063
nftrace	21410
nfval	3382817
nfvalrem	3732405
num_positive	1284
oksigns	0
oksigns2	0
order_update	542520
parse_embed	95753
pl_convert	553
pl_normalize	2205
pol_to_scalar_or_basis	4315964
polmod_nffix	138110
polmod_nffix2	138201
poltobasis	8914121
powp	940124
pr_basis_perm	43595
pr_equal	294
pr_init	3407
principal_units	168948
principal_units_relations	56559
rnfalgtobasis	1204
rnfbasistoalg	46200
rnfeltnorm	238
rnfelttrace	791
sarch_get_F	172665
sarch_get_MI	172665
sarch_get_archp	700434
sarch_get_cyc	485765
sarch_get_lambda	172664
scalar_logembed	20811
set_sign_mod_divisor	317900
setsigns_init	83335
split_U	257147
sprk_get_AgL2	0
sprk_get_L2	1208351
sprk_get_U2	1199766
sprk_get_cyc	3970310
sprk_get_expo	1962192
sprk_get_ff	2535053
sprk_get_gen	335559
sprk_get_gnf	318962
sprk_get_k	63
sprk_get_pr	2596101
sprk_get_prk	4898288
sprk_is_prime	2535054
sprk_log_gen_pr	2037
sprk_log_gen_pr2	105508
sprk_log_prk1	272831
sprk_log_prk1_2	400958
sprk_to_bid	63
sprkinit	425541
tablemul	0
tablemul_ei	11396
tablemul_ei_ej	21251
tablemulvec	2520
tablesqr	49076
to_RgX	70
vec01_to_indices	1049632
veclog_prk	497
vecsmall01_to_indices	2205
zidealij	236584
zidealstar	0
zidealstarinit	0
zidealstarinitgen	0
zkC_multable_mul	207534
zkVchinese1	237301
zk_ei_mul	22550332
zk_embed	903471
zk_inv	159234
zk_modHNF	8340538
zk_multable	9856816
zk_scalar_or_multable	4429395
zkadd	0
zkadd1	255201
zkchinese	0
zkchinese1	255260
zkchinese1init2	259
zkchineseinit	237066
zkmul	255216
zkmultable_capZ	1255242
zkmultable_inv	1414477
zksub	0
zksub1	255261
zlog	380546

Generated by: LCOV version 1.14