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 - FpE.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 1093 1195 91.5 %
Date: 2024-03-29 08:06:26 Functions: 121 129 93.8 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FpE_neg_i 0
FpE_sub 0
FpJ_neg 0
FpXQE_log 0
FpXQE_neg_i 0
FpXQE_sub 0
Fp_ellpoint 0
Fp_elltwist 0
FpE_Miller_add 2
FpE_chord_update 2
FpXQE_tatepairing 7
FpXQ_ellcard_supersingular 7
FpXQ_is4power 7
FpXQ_ellgens 8
FpXQ_ffellcard 8
FpXQE_order 14
FpXQ_ellgroup 15
get_FpXQE_group 16
Fq_ellcard_supersingular 21
FpE_Miller_line 42
FpE_Miller 46
FpE_log 49
Fp_ellcard_Shanks 78
get_table_size 78
_FpXQE_pairorder 91
FpE_Miller_dbl 98
FpE_tangent_update 98
FpXQE_weilpairing 98
Fp_ellj 98
ap_j8000 126
ap_j287496 140
FpE_vert 146
FpE_tatepairing 203
FpXQE_Miller 203
_FpXQE_rand 269
random_nonsquare_Fp 420
Fp_path_extends_to_floor 448
Fp_ellgens 574
FpE_order 736
FpXQ_elltwist 840
random_nonsquare_FpXQ 840
get_FpE_group 903
FpXQE_mul 934
FpXQE_changepointinv 976
RgE_to_FpXQE 976
Fq_elljissupersingular 1050
FpE_to_mod 1059
Fp_ellj_to_a4a6 1106
ellsupersingularj_easy_FpXQ 1183
find_inert_disc 1183
random_FpXQE 1203
ellsupersingularj_FpXQ 1204
FpX_quad_root 1229
FpE_mul 1318
ap_cm 1344
FpXQ_ellcardj 1687
FpXQ_ellj 1718
FpE_changepoint 1731
FpXQE_Miller_add 1855
FpXQE_chord_update 1855
FpXQE_changepoint 1876
Fp_jissupersingular 2737
FpE_changepointinv 2738
RgE_to_FpE 2738
Fp_elljissupersingular 3711
Fq_path_extends_to_floor 4878
FpJ_mul 5853
_FpJ_mul 5853
Fl_ellpoint 7227
FpXQ_ellcard 8571
FpXQ_ellcard_i 8571
FpXQE_Miller_dbl 13314
FpXQE_tangent_update 13314
jissupersingular 14055
u2_is_CMj 14407
Fp_ffellcard 14721
FpXQE_Miller_line 14924
FpXQE_vert 15372
elltrace_extension 15484
_fix 19038
FpXQ_is_quad 33530
Fp_ellj_nodiv 49140
ellinf_FpJ 49829
Fp_ellj_get_CM 52618
FpXQE_neg 73329
FqX_quad_root 73563
_FpE_pairorder 75093
FpE_weilpairing 75338
ap_j0 75888
_FpXQE_mul 83136
Fp_ellgroup 120715
FpXQ_elljissupersingular 165515
_FpE_rand 190955
random_FpE 193406
FpJ_to_FpE 212739
FpE_to_FpJ 213270
Fle_dbl_inplace 227178
Fl_ellcard_Shanks 254742
closest_lift 254894
uclosest_lift 261961
FpE_dbl 263228
_FpE_dbl 263228
FpE_dbl_slope 263821
FpXQE_add 267106
_FpXQE_add 267106
FpXQE_add_slope 268891
FpE_add_ip 305694
FpXQE_dbl 327821
_FpXQE_dbl 327821
FpXQE_dbl_slope 340967
FpE_neg 362489
Fl_elltrace 381652
Fl_elltrace_naive 466861
ec_ap_cm 493633
is_CMj 651276
_FpE_add 897344
Fl_elltrace_CM 905566
_FpE_mul 915474
FpE_add 916535
FpE_add_slope 916537
_FpJ_add 1157832
FpJ_add 1158307
Fp_ellcard_CM 1698674
Fp_ellcard 1959469
ap_j1728 2065805
Fle_add_inplace 5794284
_FpJ_dbl 6379384
FpJ_dbl 6400620
compare_multiples 15372805

Generated by: LCOV version 1.14