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 - buch3.c (source / functions) Hit Total Coverage Test: PARI/GP v2.18.1 lcov report (development 30271-60da3cd182) Lines: 1515 1623 93.3 % Date: 2025-05-11 09:20:26 Functions: 118 123 95.9 % Legend: Lines: hit not hit

Function Name	Hit count
ABC_to_bnr	273
Buchray	41391
Buchraymod	253580
Buchraymod_i	257241
Buchraymod_same	2849
Hermite_bound	63
Lbnrclassno	1484
ZM2_ZC2_mul	1342057
ZMV_mul	910
ZM_content_mul	227302
ZM_intersect	14
abmap_char_image	1232
abmap_nchar_image	1449
bnfcertify	35
bnfcertify0	63
bnfnarrow	35
bnr_char_sanitize	1260
bnr_get_El	1464591
bnr_get_U	1852911
bnr_get_Ui	12985
bnr_grp	33628
bnr_log_gen_arch	87634
bnr_log_gen_pr	420370
bnr_subgroup_check	314567
bnr_subgroup_sanitize	4249
bnr_vecchar_sanitize	350
bnrautmatrix	3094
bnrchar	609
bnrchar_i	609
bnrclassno	112
bnrclassno0	105
bnrclassno_1	28
bnrclassno_all	1106
bnrclassnolist	7
bnrcompositum	14
bnrconductor	616
bnrconductor0	63
bnrconductor_factored	623
bnrconductor_factored_i	48482
bnrconductor_i	616
bnrconductor_raw	5740
bnrconductormod	41769
bnrconductorofchar	7
bnrdisc	1645
bnrdisc0	175
bnrdisc_i	1645
bnrdisclist0	49
bnrgaloisapply	3577
bnrgaloismatrix	231
bnrinit0	0
bnrinitmod	211373
bnrisconductor	275174
bnrisconductor0	35
bnrisgalois	448
bnrisprincipal	415000
bnrisprincipalmod	1459789
bnrlcmcond	14
bnrliftsubgroup	28
bnrmap	616
bnrsurjection	2863
bound_unit_index	63
check_bnrgal	448
check_prime	1715
chk_listBU	28
compute_M0	28
compute_fact	26859
cond0_e	48482
condoo_archp	48482
conductor_elts	183020
contains	410620
decodemodule	21
dft_bound	0
discrayabslist	21
discrayabslistarch	28
factordivexact	406
factormul	1043
factorpow	812
factorsplice	1169
fasmall_append	175
fast_val	17983
get_Gen	49938
get_NR1D	427
get_classno	910
get_discdata	469
get_discray	469
get_nz	168
get_pi	10003
get_pinvpi	9863
hdet	1022
ideallog_to_bnr	507994
ideallog_to_bnr_i	524368
idealmoddivisor	4214
idealmoddivisor_aux	15036
init_bad	63
is_complex	1228
is_module	21
is_unit	70553
is_zero	1804
isprimitive	35
isprincipalray	407916
isprincipalraygen	0
lowerboundforregulator	63
make_integral_Z	4368
minimforunits	42
minkowski_bound	0
nf_deg1_prime	0
prV_norms	1568
primecertify	1715
regulatorbound	35
rnfconductor	35
rnfconductor0	826
rnfnormgroup	14
rnfnormgroup_i	826
rowselect_p	1022
subgroup_conductor_ok	95213
subgroupcond	182565
subgrouplist0	184771
subgrouplist_cond_sub	455
too_big	15484
vecselect_p	1344
zimmertbound	63
zsimp	28
zsimpjoin	518

Generated by: LCOV version 1.16