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-03 08:08:58 Functions: 168 172 97.7 % Legend: Lines: hit not hit

Function Name	Hit count
Decomp	253256
Flx_checkdeflate	1593650
Flx_radical	1593639
FpX_radical	5488
Fp_basis	305639
FqM_to_nfM	9924
FqV_to_nfV	0
FqX_non_root	21
FqX_to_nfX	11549
Fq_to_nf	3229347
QXQV_to_FpM	203
QpXV_denom	505941
QpX_denom	2724642
QpX_remove_denom	1728512
RgV_nffix	49
RgX_nffix	279456
RgX_to_algX	1631
Rg_nffix	842261
Rg_to_ff	15137678
ZX_Dedekind	1531259
ZX_rescale_inv	59514
Z_fac	189
Zlx_gcd	245078
Zlx_sylvester_echelon	4650490
ZpM_hnfmodid	451316
ZpX_disc_val	182376
ZpX_gcd	253260
ZpX_monic_factor	490
ZpX_monic_factor_squarefree	1071
ZpX_primedec	0
ZpX_reduced_resultant	985803
ZpX_reduced_resultant_fast	926024
ZpX_resultant_val	3440093
ZpX_resultant_val_i	3484262
ZpX_round4	770
ZpX_sylvester_echelon	72925
_msqr	11347
_sqr	69641
anti_uniformizer	963836
checkmodpr	210
checkprid	10667983
checkprid_i	12233036
compmod	284811
compositum	91
compositum2	2828
compositum_fix	26467
dbasis	617176
diag_denom	97320
diag_denomval	684929
dim1proj	1029286
ei_msqr_mod	344178
errprime	0
expo_is_squarefree	812
fact_from_factors	3584
ffdegree	4109
fill	12584
fix_PE	476
fnz	215917
gen_if_principal	35
get_LV	213362
get_coprimes	266
get_d	2240
get_g	352769
get_gamma	299773
get_maxord	811629
get_modpr	137746
get_module	63
get_norm	501815
get_nu	635433
get_partial_order_as_pols	505943
get_powers	158384
get_pr	409832
get_prid	918232
getprime	558325
ideal_is1	26815
idealprimedec	1269922
idealprimedec_degrees	364
idealprimedec_galois	6545
idealprimedec_kummer	3790497
idealprimedec_limit_f	2692695
idealprimedec_limit_norm	504842
indexpartial	44064
init_m	4366038
init_norm	213327
is_uniformizer	501810
lift_to_zk	91427
loop	236786
manage_cache	699156
maxord	1531260
maxord_disc	711194
maxord_i	452095
minval	15119
mk_pr	4245479
modpr_TAU	3521610
modpr_genFq	4326
modprinit	1157306
mul_intersect	699228
mycaract	699212
newtoncharpoly	692700
newtonsums	699220
nfM_to_FqM	5382
nfV_to_FqV	167403
nfXQ_mul	60745
nfX_mul	65148
nfX_rem	60745
nfX_sub	4403
nfX_to_FqX	9751
nfX_to_monic	1645
nf_pV_to_prV	38528
nf_to_Fq	15137180
nf_to_Fq_init	3508671
nfbasis	938
nfcompositum	13347
nfcompositum_lambda	497
nfdisc	66428
nfdiscfactors	644779
nfidealdet1	63
nfmaxord	100432
nfmaxord_check_args	811628
nfmodpr	329
nfmodprinit	7
nfmodprinit0	70
nfmodprlift	77
nfreducemodpr	210
ok_modpr	4341188
p_is_prime	2226
pol_min	116868
polcompositum0	12808
poldiscfactors	42
poldiscfactors_i	787903
pow_ei_mod_p	735158
pr_factorback	3535
pr_factorback_scal	3535
pradical	213362
primedec_aux	2699593
primedec_end	213361
progress	391505
redelt	48024
redelt_i	63739
rnfallbase	2184
rnfbasis	21
rnfdedekind	91
rnfdedekind_i	4438
rnfdet	14
rnfdisc_factored	854
rnfdiscf	77
rnfeltid_powmod	21090
rnfhnfbasis	7
rnfisfree	7
rnfjoinmodules	2134
rnfjoinmodules_i	6292
rnfmaxord	4354
rnfsimplifybasis	0
rnfsteinitz	28
safe_Z_pvalrem	12285
setPE	745149
set_disc	811601
split_char	475509
sqr_mod	816572
testb2	66540
testc2	48024
to_ff_init	3527231
triv_order	1016
uniformizer	295526
update_den	3530040
update_fact	2090
update_phi	274489
vstar	618573
zk_to_Fq	7098005
zk_to_Fq_init	18536
zkmodprinit	174935
zx_z_div	1525711

Generated by: LCOV version 1.14