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 30213-f9b05da6c0) Lines: 2232 2373 94.1 % Date: 2025-04-26 09:18: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	2319
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	5692
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	12840
nfcompositum	13393
safe_Z_pvalrem	13923
_sqr	16190
nfXQ_mul	16523
nfX_rem	16523
zk_to_Fq_init	18746
nfX_mul	20618
compositum_fix	26559
nf_pV_to_prVV	26614
nfisintegral	29911
nf_pV_to_prV	38605
indexpartial	44089
redelt	48550
testc2	48550
ZX_rescale_inv	59929
redelt_i	64358
nfdisc	66464
testb2	67221
ZpX_sylvester_echelon	74031
lift_to_zk	92189
diag_denom	99434
nfmaxord	101694
pol_min	117717
get_modpr	137753
get_powers	159597
nfV_to_FqV	167410
zkmodprinit	175383
ZpX_disc_val	184552
init_norm	214412
get_LV	214434
pradical	214434
primedec_end	214436
fnz	221189
loop	238652
Zlx_gcd	246195
Decomp	254712
ZpX_gcd	254715
update_phi	276532
compmod	287198
uniformizer	296761
get_gamma	303417
Fp_basis	307218
RgX_nffix	322931
ei_msqr_mod	347697
get_g	356486
progress	394460
get_pr	411711
ZpM_hnfmodid	454061
maxord_i	454957
split_char	480484
is_uniformizer	502729
get_norm	502732
idealprimedec_limit_norm	505224
QpXV_denom	508818
get_partial_order_as_pols	508824
getprime	563590
dbasis	620013
vstar	624256
get_nu	641242
nfdiscfactors	644766
diag_denomval	685864
newtoncharpoly	699410
mul_intersect	702405
manage_cache	706180
mycaract	706220
newtonsums	706230
maxord_disc	711223
pow_ei_mod_p	738630
setPE	746427
poldiscfactors_i	788713
set_disc	812884
get_maxord	812918
nfmaxord_check_args	812918
sqr_mod	822052
ZpX_reduced_resultant_fast	932014
get_prid	939491
Rg_nffix	943296
pr_anti_uniformizer	966429
ZpX_reduced_resultant	993194
dim1proj	1029881
modprinit	1157794
idealprimedec	1273275
zx_z_div	1531187
ZX_Dedekind	1536901
maxord	1536903
Flx_radical	1599544
Flx_checkdeflate	1599561
QpX_remove_denom	1743136
idealprimedec_limit_f	2700639
primedec_aux	2707539
QpX_denom	2749899
Fq_to_nf	3085139
ZpX_resultant_val	3450917
ZpX_resultant_val_i	3497036
nf_to_Fq_init	3511292
modpr_TAU	3512573
to_ff_init	3530055
update_den	3570206
idealprimedec_kummer	3799720
mk_pr	4257028
ok_modpr	4362693
init_m	4382877
Zlx_sylvester_echelon	4670930
zk_to_Fq	6394953
nf_to_Fq	12637488
gc_nf_to_Fq	13900577
nf_to_Fq_i	13901098
checkprid	17905069
checkprid_i	22875050

Generated by: LCOV version 1.16