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.0 lcov report (development 29712-7c8a932571) Lines: 1508 1614 93.4 % Date: 2024-11-15 09:08:45 Functions: 120 125 96.0 % Legend: Lines: hit not hit

Function Name	Hit count
ABC_to_bnr	273
Buchray	41384
Buchraymod	253570
Buchraymod_i	256989
Hermite_bound	63
Lbnrclassno	1484
ZM2_ZC2_mul	1340433
ZMV_mul	910
ZM_content_mul	227036
ZM_intersect	14
abmap_char_image	686
abmap_nchar_image	903
bnfcertify	35
bnfcertify0	63
bnfnarrow	35
bnr_char_sanitize	1386
bnr_get_El	1463024
bnr_get_U	1843355
bnr_get_Ui	12838
bnr_grp	33404
bnr_log_gen_arch	86264
bnr_log_gen_pr	413976
bnr_subgroup_check	313215
bnr_subgroup_sanitize	4249
bnrautmatrix	3094
bnrchar	595
bnrchar_i	595
bnrchar_primitive	217
bnrchar_primitive_raw	679
bnrclassno	112
bnrclassno0	105
bnrclassno_1	28
bnrclassno_all	1106
bnrclassnolist	7
bnrcompositum	14
bnrconductor	602
bnrconductor0	63
bnrconductor_factored	623
bnrconductor_factored_i	5355
bnrconductor_i	602
bnrconductor_raw	4732
bnrconductormod	41902
bnrconductorofchar	7
bnrdisc	1631
bnrdisc0	175
bnrdisc_i	1631
bnrdisclist0	49
bnrgaloisapply	3577
bnrgaloismatrix	231
bnrinit0	0
bnrinitmod	211381
bnrisconductor	275061
bnrisconductor0	35
bnrisgalois	448
bnrisprincipal	413278
bnrisprincipalmod	1458166
bnrlcmcond	14
bnrliftsubgroup	28
bnrmap	616
bnrsurjection	2716
bound_unit_index	63
char_denormalize	214536
check_bnrgal	448
check_prime	1715
chk_listBU	28
compute_M0	28
compute_fact	26635
cond0_e	47256
condoo_archp	47257
conductor_elts	183018
contains	402895
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	49700
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	500210
ideallog_to_bnr_i	516595
idealmoddivisor	4214
idealmoddivisor_aux	15036
imageofgroup	1960
init_bad	63
is_complex	1228
is_module	21
is_unit	70553
is_zero	1804
isprimitive	35
isprincipalray	406194
isprincipalraygen	0
lowerboundforregulator	63
make_integral_Z	4368
minimforunits	42
minkowski_bound	0
nf_deg1_prime	0
prV_norms	1554
primecertify	1715
regulatorbound	35
rnfconductor	35
rnfconductor0	812
rnfnormgroup	14
rnfnormgroup_i	812
rowselect_p	1022
subgroup_conductor_ok	95213
subgroupcond	182563
subgrouplist0	184768
subgrouplist_cond_sub	455
too_big	15484
vecselect_p	1344
zimmertbound	63
zsimp	28
zsimpjoin	518

Generated by: LCOV version 1.16