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

Generated by: LCOV version 1.14