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 30111-a34de28cf8) Lines: 2232 2373 94.1 % Date: 2025-04-02 09:20:49 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	1301
triv_order	1506
RgX_to_algX	1638
nfX_to_monic	1652
nfM_to_FqM	1872
rnfjoinmodules_i	2097
p_is_prime	2211
update_fact	2320
compositum2	2877
rnfallbase	2926
FqM_to_nfM	2934
get_d	2975
minval	3776
rnfmaxord	3997
fact_from_factors	4018
nfX_sub	4053
rnfdedekind_i	4081
ffdegree	4109
_msqr	4158
fill	4194
pr_factorback	4235
pr_factorback_scal	4235
modpr_genFq	4508
FpX_radical	5692
rnfeltid_powmod	5834
idealprimedec_galois	6552
nfXisintegral	6993
ideal_is1	8049
nfpolisintegral	8113
nfpolisintegral_i	8113
nfX_to_FqX	9219
FqX_to_nfX	10016
polcompositum0	12844
nfcompositum	13397
safe_Z_pvalrem	13923
_sqr	16190
nfXQ_mul	16523
nfX_rem	16523
zk_to_Fq_init	18746
nfX_mul	20576
compositum_fix	26567
nf_pV_to_prVV	26614
nfisintegral	29743
nf_pV_to_prV	38605
indexpartial	44088
testc2	48547
redelt	48548
ZX_rescale_inv	59932
redelt_i	64359
nfdisc	66462
testb2	67221
ZpX_sylvester_echelon	74030
lift_to_zk	92187
diag_denom	99436
nfmaxord	101695
pol_min	117717
get_modpr	137753
get_powers	159601
nfV_to_FqV	167410
zkmodprinit	175383
ZpX_disc_val	184550
init_norm	214405
pradical	214439
get_LV	214441
primedec_end	214441
fnz	221261
loop	238642
Zlx_gcd	246193
Decomp	254709
ZpX_gcd	254709
update_phi	276490
compmod	287192
uniformizer	296760
get_gamma	303409
Fp_basis	307209
RgX_nffix	322260
ei_msqr_mod	347669
get_g	356479
progress	394419
get_pr	411695
ZpM_hnfmodid	454048
maxord_i	454953
split_char	480485
is_uniformizer	502728
get_norm	502732
idealprimedec_limit_norm	505217
get_partial_order_as_pols	508813
QpXV_denom	508815
getprime	563556
dbasis	620018
vstar	624225
get_nu	641206
nfdiscfactors	644775
diag_denomval	685860
newtoncharpoly	699362
mul_intersect	702380
manage_cache	706125
mycaract	706174
newtonsums	706189
maxord_disc	711238
pow_ei_mod_p	738633
setPE	746432
poldiscfactors_i	788736
set_disc	812913
get_maxord	812932
nfmaxord_check_args	812936
sqr_mod	822007
ZpX_reduced_resultant_fast	931951
get_prid	939491
Rg_nffix	943024
pr_anti_uniformizer	966384
ZpX_reduced_resultant	993101
dim1proj	1029817
modprinit	1157754
idealprimedec	1273161
zx_z_div	1531178
ZX_Dedekind	1536894
maxord	1536895
Flx_radical	1599605
Flx_checkdeflate	1599614
QpX_remove_denom	1743085
idealprimedec_limit_f	2700513
primedec_aux	2707436
QpX_denom	2749831
Fq_to_nf	3084916
ZpX_resultant_val	3450858
ZpX_resultant_val_i	3496976
nf_to_Fq_init	3511233
modpr_TAU	3512508
to_ff_init	3530010
update_den	3569809
idealprimedec_kummer	3799563
mk_pr	4256834
ok_modpr	4362640
init_m	4382752
Zlx_sylvester_echelon	4670827
zk_to_Fq	6394814
nf_to_Fq	12637548
gc_nf_to_Fq	13900420
nf_to_Fq_i	13900932
checkprid	17904791
checkprid_i	22874582

Generated by: LCOV version 1.16