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.18.1 lcov report (development 30256-57c6c2b57f) Lines: 2232 2373 94.1 % Date: 2025-05-09 09:19:30 Functions: 174 178 97.8 % 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	77
nfmodprlift	77
rnfdiscf	77
compositum	91
rnfdedekind	91
Z_fac	183
QXQV_to_FpM	203
checkmodpr	210
nfreducemodpr	210
get_coprimes	294
nfmodpr	350
idealprimedec_degrees	371
fix_PE	498
nfcompositum_lambda	511
ZpX_monic_factor	546
rnfdisc_factored	854
expo_is_squarefree	889
ZpX_round4	896
nfbasis	938
ZpX_monic_factor_squarefree	1155
rnfjoinmodules	1329
triv_order	1506
RgX_to_algX	1638
nfX_to_monic	1652
nfM_to_FqM	1872
rnfjoinmodules_i	2111
p_is_prime	2211
update_fact	2320
compositum2	2877
FqM_to_nfM	2934
rnfallbase	2940
get_d	2989
minval	3776
fact_from_factors	4018
rnfmaxord	4039
nfX_sub	4095
ffdegree	4109
rnfdedekind_i	4123
_msqr	4158
fill	4222
pr_factorback	4263
pr_factorback_scal	4263
modpr_genFq	4508
FpX_radical	5693
rnfeltid_powmod	5834
idealprimedec_galois	6552
nfXisintegral	7049
ideal_is1	8049
nfpolisintegral	8225
nfpolisintegral_i	8225
nfX_to_FqX	9303
FqX_to_nfX	10128
polcompositum0	12842
nfcompositum	13395
safe_Z_pvalrem	13923
_sqr	16190
nfXQ_mul	16523
nfX_rem	16523
zk_to_Fq_init	18746
nfX_mul	20618
compositum_fix	26566
nf_pV_to_prVV	26614
nfisintegral	29911
nf_pV_to_prV	38605
indexpartial	44087
redelt	48545
testc2	48545
ZX_rescale_inv	59932
redelt_i	64356
nfdisc	66461
testb2	67221
ZpX_sylvester_echelon	74025
lift_to_zk	92189
diag_denom	99430
nfmaxord	101695
pol_min	117710
get_modpr	137753
get_powers	159592
nfV_to_FqV	167410
zkmodprinit	175383
ZpX_disc_val	184541
init_norm	214406
get_LV	214431
pradical	214431
primedec_end	214431
fnz	221262
loop	238633
Zlx_gcd	246190
Decomp	254692
ZpX_gcd	254701
update_phi	276504
compmod	287178
uniformizer	296753
get_gamma	303391
Fp_basis	307210
RgX_nffix	322939
ei_msqr_mod	347683
get_g	356465
progress	394448
get_pr	411698
ZpM_hnfmodid	454054
maxord_i	454954
split_char	480472
is_uniformizer	502717
get_norm	502719
idealprimedec_limit_norm	505222
get_partial_order_as_pols	508803
QpXV_denom	508805
getprime	563549
dbasis	620011
vstar	624215
get_nu	641205
nfdiscfactors	644785
diag_denomval	685861
newtoncharpoly	699360
mul_intersect	702386
manage_cache	706117
mycaract	706166
newtonsums	706172
maxord_disc	711237
pow_ei_mod_p	738618
setPE	746424
poldiscfactors_i	788709
set_disc	812892
get_maxord	812932
nfmaxord_check_args	812937
sqr_mod	822027
ZpX_reduced_resultant_fast	931975
get_prid	939491
Rg_nffix	943320
pr_anti_uniformizer	966449
ZpX_reduced_resultant	993107
dim1proj	1029911
modprinit	1157813
idealprimedec	1273295
zx_z_div	1531155
ZX_Dedekind	1536855
maxord	1536857
Flx_radical	1599540
Flx_checkdeflate	1599565
QpX_remove_denom	1743025
idealprimedec_limit_f	2700634
primedec_aux	2707534
QpX_denom	2749749
Fq_to_nf	3085140
ZpX_resultant_val	3450854
ZpX_resultant_val_i	3496993
nf_to_Fq_init	3511341
modpr_TAU	3512600
to_ff_init	3530104
update_den	3569966
idealprimedec_kummer	3799701
mk_pr	4257031
ok_modpr	4362735
init_m	4382760
Zlx_sylvester_echelon	4670792
zk_to_Fq	6394997
nf_to_Fq	12637508
gc_nf_to_Fq	13900597
nf_to_Fq_i	13901120
checkprid	17904672
checkprid_i	22874685

Generated by: LCOV version 1.16