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:

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.16.2 lcov report (development 29401-b333f5c7d5) Lines: 875 932 93.9 %
Date: 2024-06-18 09:03:05 Functions: 75 75 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
algo56bis 14
hyperellextremalmodels2 14
hyperellminimaldisc 14
is_sing 14
hyperellordinate 35
redqfbsplit 35
algo57bis 42
hyperellred 42
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 8067
red_Cremona_Stoll 8067
ZC_to_padic 10094
ZpXXQ_frob 10094
diff_red 10094
revdigits 12026
polreduce 16134
FpXXQ_mul 16863
FpXXQ_red 20265
Fl2V_next 44590
minimalmodel_getH 50630
algo56 50679
algo51 50693
hyperell_reverse 50693
algo57 52030
hyperellminimalmodel 52044
minimalmodel_merge 52044
check_hyperell_Q 52086
check_hyperell_vc 65282
check_hyperell_Rg 65296
hyperellchangecurve 65296
algo52 103133
hyperell_redQ 104074
hyperelldisc 117963
get_ep 126180
frac_to_Fp 133847
test53 145237
test55 188885
algo541 219345
check_hyperell 287053
RgX_RgM2_eval 301388
to_ZX 1029007

Generated by: LCOV version 1.16