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 - base2.c (source / functions) Hit Total Coverage Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 2213 2337 94.7 % Date: 2024-05-04 08:07:34 Functions: 168 172 97.7 % Legend: Lines: hit not hit

Function Name	Hit count
FqV_to_nfV	0
ZpX_primedec	0
errprime	0
rnfsimplifybasis	0
nfmodprinit	7
rnfhnfbasis	7
rnfisfree	7
rnfdet	14
FqX_non_root	21
rnfbasis	21
rnfsteinitz	28
gen_if_principal	35
poldiscfactors	42
RgV_nffix	49
get_module	63
nfidealdet1	63
nfmodprinit0	70
nfmodprlift	77
rnfdiscf	77
compositum	91
rnfdedekind	91
Z_fac	189
QXQV_to_FpM	203
checkmodpr	210
nfreducemodpr	210
get_coprimes	266
nfmodpr	329
idealprimedec_degrees	364
fix_PE	476
ZpX_monic_factor	490
nfcompositum_lambda	497
ZpX_round4	770
expo_is_squarefree	812
rnfdisc_factored	854
nfbasis	938
triv_order	1016
ZpX_monic_factor_squarefree	1071
RgX_to_algX	1631
nfX_to_monic	1645
update_fact	2090
rnfjoinmodules	2134
rnfallbase	2184
p_is_prime	2225
get_d	2240
compositum2	2828
pr_factorback	3535
pr_factorback_scal	3535
fact_from_factors	3584
ffdegree	4109
modpr_genFq	4326
rnfmaxord	4354
nfX_sub	4403
rnfdedekind_i	4438
nfM_to_FqM	5382
FpX_radical	5489
rnfjoinmodules_i	6292
idealprimedec_galois	6545
nfX_to_FqX	9751
FqM_to_nfM	9924
_msqr	11347
FqX_to_nfX	11549
safe_Z_pvalrem	12285
fill	12584
polcompositum0	12809
nfcompositum	13348
minval	15119
zk_to_Fq_init	18536
rnfeltid_powmod	21090
compositum_fix	26466
ideal_is1	26815
nf_pV_to_prV	38528
indexpartial	44064
redelt	48018
testc2	48018
ZX_rescale_inv	59514
nfXQ_mul	60745
nfX_rem	60745
redelt_i	63734
nfX_mul	65148
nfdisc	66427
testb2	66541
_sqr	69641
ZpX_sylvester_echelon	72926
lift_to_zk	91427
diag_denom	97323
nfmaxord	100431
pol_min	116867
get_modpr	137746
get_powers	158384
nfV_to_FqV	167403
zkmodprinit	174935
ZpX_disc_val	182376
init_norm	213329
pradical	213357
get_LV	213362
primedec_end	213362
fnz	215940
loop	236782
Zlx_gcd	245075
Decomp	253256
ZpX_gcd	253256
update_phi	274505
RgX_nffix	279456
compmod	284797
uniformizer	295524
get_gamma	299774
Fp_basis	305638
ei_msqr_mod	344171
get_g	352771
progress	391497
get_pr	409829
ZpM_hnfmodid	451324
maxord_i	452089
split_char	475503
get_norm	501797
is_uniformizer	501819
idealprimedec_limit_norm	504838
QpXV_denom	505935
get_partial_order_as_pols	505940
getprime	558323
dbasis	617176
vstar	618580
get_nu	635442
nfdiscfactors	644770
diag_denomval	684932
newtoncharpoly	692731
manage_cache	699152
newtonsums	699218
mycaract	699221
mul_intersect	699222
maxord_disc	711183
pow_ei_mod_p	735149
setPE	745146
poldiscfactors_i	787846
set_disc	811567
get_maxord	811615
nfmaxord_check_args	811617
sqr_mod	816557
Rg_nffix	842263
get_prid	918232
ZpX_reduced_resultant_fast	926004
anti_uniformizer	963815
ZpX_reduced_resultant	985790
dim1proj	1029280
modprinit	1157281
idealprimedec	1269875
zx_z_div	1525703
ZX_Dedekind	1531248
maxord	1531252
Flx_radical	1593636
Flx_checkdeflate	1593643
QpX_remove_denom	1728503
idealprimedec_limit_f	2692685
primedec_aux	2699576
QpX_denom	2724619
Fq_to_nf	3229346
ZpX_resultant_val	3440101
ZpX_resultant_val_i	3484250
nf_to_Fq_init	3508671
modpr_TAU	3521638
to_ff_init	3527218
update_den	3530033
idealprimedec_kummer	3790478
mk_pr	4245480
ok_modpr	4341178
init_m	4366030
Zlx_sylvester_echelon	4650448
zk_to_Fq	7098037
checkprid	10667653
checkprid_i	12232714
nf_to_Fq	15137169
Rg_to_ff	15137660

Generated by: LCOV version 1.14