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 - hyperell.c (source / functions) Hit Total Coverage Test: PARI/GP v2.18.1 lcov report (development 29950-285c5b69ed) Lines: 1128 1207 93.5 % Date: 2025-02-05 09:09:51 Functions: 98 100 98.0 % Legend: Lines: hit not hit

Function Name	Hit count
F2x_genus2_find_trans	28
F2x_genus2_trans	35
F2x_genus2charpoly_naive	84
F2x_genus_red	14
F2x_genus_redoo	42
F2x_pseudodisc	35
F2xqX_quad_nbroots	21
Fl2V_next	44716
FlxV_Fl2_eval_pre	1582
Flx_difftable	259
Flx_genus2charpoly_naive	259
FpXXQ_mul	16863
FpXXQ_red	20265
FpXXQ_sqr	3402
FpXXX_Fp_mul	441
FpXXX_red	441
FpXXX_renormalize	2247
Fq_diff_red	469
Fq_get_UV	154
RgXY_swapsafe	1176
RgX_RgM2_eval	303719
ZC_to_padic	10094
ZM_to_padic	1309
ZXC_to_padic	469
ZXM_to_padic	147
ZXX_to_FpXC	469
ZX_apolar	84
ZX_hyperellred	8193
ZX_to_padic	1743
ZlXQX_hyperellpadicfrobenius	154
ZlX_hyperellpadicfrobenius	1309
ZpXQXXQ_frob	469
ZpXQXXQ_invsqrt	154
ZpXQXXQ_mul	1358
ZpXQXXQ_red	1806
ZpXQXXQ_sqr	448
ZpXXQ_frob	10094
ZpXXQ_invsqrt	1309
Zst_normval	588
Zst_red1	588
Zst_red3	77
Zst_reduce	1176
Zst_val	588
algo51	50798
algo52	103343
algo56	50784
algo56bis	14
algo57	53017
algo57bis	9051
charpoly_funceq	679
check_hyperell	289139
check_hyperell_Q	53073
check_hyperell_Rg	65296
check_hyperell_vc	65282
diff_red	10094
ellfromeqncharpoly	126
frac_to_Fp	133847
frac_to_Fq	6573
genus2_eulerfact	931
genus2_eulerfact2	14
genus2_eulerfact2_semistable	14
genus2_eulerfact_semistable	1393
genus2_halfstablemodel	77
genus2_halfstablemodel_i	77
genus2_red5	0
genus2_redmodel	1393
genus2_type5	945
genus2charpoly	882
get_UV	1309
get_basis	1764
get_ep	126502
get_extremal	784
hyperell_Weil_bound	686
hyperell_redQ	106048
hyperell_reverse	50798
hyperellchangecurve	65296
hyperellcharpoly	1036
hyperelldisc	118950
hyperellextremalmodels	945
hyperellisoncurve	3493
hyperellminimaldisc	14
hyperellminimalmodel	53031
hyperellordinate	35
hyperellpadicfrobenius	1309
hyperellpadicfrobenius0	595
hyperellred	42
is_sing	14
minimalmodel_getH	50735
minimalmodel_merge	53031
next_model	9065
nfellcharpoly	0
nfhyperellpadicfrobenius	154
polreduce	16386
red_Cremona_Stoll	8193
redqfbsplit	35
revdigits	12026
test53	147379
test55	189382
to_ZX	1029007
xdminusone	7322

Generated by: LCOV version 1.16