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.0 lcov report (development 29712-7c8a932571) Lines: 869 915 95.0 % Date: 2024-11-15 09:08:45 Functions: 74 75 98.7 % Legend: Lines: hit not hit

Function Name	Hit count
get_extremal	0
algo56bis	14
hyperellminimaldisc	14
is_sing	14
hyperellordinate	35
redqfbsplit	35
algo57bis	42
hyperellred	42
next_model	56
hyperellextremalmodels	63
F2x_genus2charpoly_naive	84
ZX_apolar	84
ZXM_to_padic	147
Fq_get_UV	154
ZlXQX_hyperellpadicfrobenius	154
ZpXQXXQ_invsqrt	154
nfhyperellpadicfrobenius	154
Flx_difftable	252
Flx_genus2charpoly_naive	252
FpXXX_Fp_mul	441
FpXXX_red	441
ZpXQXXQ_sqr	448
Fq_diff_red	469
ZXC_to_padic	469
ZXX_to_FpXC	469
ZpXQXXQ_frob	469
hyperellpadicfrobenius0	595
charpoly_funceq	679
hyperell_Weil_bound	686
hyperellcharpoly	1029
ZM_to_padic	1309
ZlX_hyperellpadicfrobenius	1309
ZpXXQ_invsqrt	1309
get_UV	1309
hyperellpadicfrobenius	1309
ZpXQXXQ_mul	1358
FlxV_Fl2_eval_pre	1561
ZX_to_padic	1743
get_basis	1764
ZpXQXXQ_red	1806
FpXXX_renormalize	2247
FpXXQ_sqr	3402
hyperellisoncurve	3493
frac_to_Fq	6573
ZX_hyperellred	8193
red_Cremona_Stoll	8193
ZC_to_padic	10094
ZpXXQ_frob	10094
diff_red	10094
revdigits	12026
polreduce	16386
FpXXQ_mul	16863
FpXXQ_red	20265
Fl2V_next	44590
minimalmodel_getH	50735
algo56	50784
algo51	50798
hyperell_reverse	50798
algo57	52135
hyperellminimalmodel	52149
minimalmodel_merge	52149
check_hyperell_Q	52191
check_hyperell_vc	65282
check_hyperell_Rg	65296
hyperellchangecurve	65296
algo52	103343
hyperell_redQ	104284
hyperelldisc	118068
get_ep	126502
frac_to_Fp	133847
test53	146791
test55	189382
check_hyperell	287368
RgX_RgM2_eval	301955
to_ZX	1029007

Generated by: LCOV version 1.16