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 - FpE.c (source / functions) Hit Total Coverage Test: PARI/GP v2.18.0 lcov report (development 29712-7c8a932571) Lines: 1093 1195 91.5 % Date: 2024-11-15 09:08:45 Functions: 121 129 93.8 % Legend: Lines: hit not hit

Function Name	Hit count
Fl_ellcard_Shanks	254750
Fl_ellpoint	7227
Fl_elltrace	621591
Fl_elltrace_CM	1164937
Fl_elltrace_naive	723342
Fle_add_inplace	5793981
Fle_dbl_inplace	227178
FpE_Miller	46
FpE_Miller_add	2
FpE_Miller_dbl	98
FpE_Miller_line	42
FpE_add	916535
FpE_add_ip	305694
FpE_add_slope	916537
FpE_changepoint	1729
FpE_changepointinv	2736
FpE_chord_update	2
FpE_dbl	263386
FpE_dbl_slope	263979
FpE_log	49
FpE_mul	1317
FpE_neg	362489
FpE_neg_i	0
FpE_order	736
FpE_sub	0
FpE_tangent_update	98
FpE_tatepairing	203
FpE_to_FpJ	213334
FpE_to_mod	1057
FpE_vert	146
FpE_weilpairing	75371
FpJ_add	1158295
FpJ_dbl	6398440
FpJ_mul	5866
FpJ_neg	0
FpJ_to_FpE	212800
FpXQE_Miller	203
FpXQE_Miller_add	1855
FpXQE_Miller_dbl	13314
FpXQE_Miller_line	14924
FpXQE_add	267106
FpXQE_add_slope	268891
FpXQE_changepoint	1876
FpXQE_changepointinv	976
FpXQE_chord_update	1855
FpXQE_dbl	327821
FpXQE_dbl_slope	340967
FpXQE_log	0
FpXQE_mul	934
FpXQE_neg	73329
FpXQE_neg_i	0
FpXQE_order	14
FpXQE_sub	0
FpXQE_tangent_update	13314
FpXQE_tatepairing	7
FpXQE_vert	15372
FpXQE_weilpairing	98
FpXQ_ellcard	8571
FpXQ_ellcard_i	8571
FpXQ_ellcard_supersingular	7
FpXQ_ellcardj	1687
FpXQ_ellgens	8
FpXQ_ellgroup	15
FpXQ_ellj	1718
FpXQ_elljissupersingular	165515
FpXQ_elltwist	840
FpXQ_ffellcard	8
FpXQ_is4power	7
FpXQ_is_quad	33530
FpX_quad_root	1229
Fp_ellcard	2542361
Fp_ellcard_CM	2280614
Fp_ellcard_Shanks	78
Fp_ellgens	574
Fp_ellgroup	120715
Fp_ellj	98
Fp_ellj_get_CM	52620
Fp_ellj_nodiv	49144
Fp_ellj_to_a4a6	1106
Fp_elljissupersingular	3711
Fp_ellpoint	0
Fp_elltwist	0
Fp_ffellcard	14721
Fp_jissupersingular	2737
Fp_path_extends_to_floor	448
FqX_quad_root	73563
Fq_ellcard_supersingular	21
Fq_elljissupersingular	1050
Fq_path_extends_to_floor	4878
RgE_to_FpE	2737
RgE_to_FpXQE	976
_FpE_add	897344
_FpE_dbl	263386
_FpE_mul	915719
_FpE_pairorder	75126
_FpE_rand	191044
_FpJ_add	1157872
_FpJ_dbl	6377325
_FpJ_mul	5866
_FpXQE_add	267106
_FpXQE_dbl	327821
_FpXQE_mul	83136
_FpXQE_pairorder	91
_FpXQE_rand	269
_fix	19038
ap_cm	1344
ap_j0	85081
ap_j1728	2642402
ap_j287496	140
ap_j8000	126
closest_lift	254900
compare_multiples	15372369
ec_ap_cm	497483
ellinf_FpJ	49600
ellsupersingularj_FpXQ	1204
ellsupersingularj_easy_FpXQ	1183
elltrace_extension	15484
find_inert_disc	1183
get_FpE_group	903
get_FpXQE_group	16
get_table_size	78
is_CMj	651385
jissupersingular	14055
random_FpE	193501
random_FpXQE	1203
random_nonsquare_Fp	420
random_nonsquare_FpXQ	840
u2_is_CMj	14407
uclosest_lift	261958

Generated by: LCOV version 1.16