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 - polmodular.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 2281 2352 97.0 %
Date: 2024-05-07 08:07:52 Functions: 142 142 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
Fl_addmul2 55577048
Fl_addmul3 9666918
Fl_addmul4 5018342
Fl_addmul5 24955990
Fl_mul4 1670145
Fl_mul5 89522
Fl_mul6 745610
Fl_mul7 89522
Fl_mul8 835101
Fle_quotient_from_kernel_generator 89525
Flm_Fl_phi2_evalx 26248032
Flm_Fl_phi3_evalx 3224038
Flm_Fl_phi5_evalx 5009790
Flm_Fl_polmodular_evalx 41615083
Flv_deriv_pre_inplace 2464
Flv_lastnonzero 350627
Flv_powu_inplace_pre 42147
Flx_double_eta_jpoly 29409
Flx_double_eta_xpoly 41304
FpV_deriv 56
Fp_modinv_to_j 1057
Fp_polmodular_evalx 119
_qsort_cmp 14196534
append_neighbours 562529
calc_primes_for_discriminants 2961
carray_reverse_inplace 18198
check_generators 761483
compute_L_isogenous_curve 81001
db_add_levels 45
disc_best_modinv 1907423
discriminant_with_classno_at_least 2959
double_eta_Fl 23502
double_eta_exponent 54035
double_eta_initial_js 5697
double_eta_power 29409
double_eta_raw 23936
double_eta_raw_to_Fl 29661
double_eta_raw_to_Fp 161
double_eta_root 24465
eighth_root 5094
enum_volcano_floor 37650
enum_volcano_surface 37651
eval_modpoly_modp 2674
find_L_tors_point 130550
find_noniso_L_isogenous_curve 80999
fourth_root 3963
get_Lsqr_cycle 37653
inflate_polys 10850
internal_db 24341
interpolate_coeffs 40175
make_pcp_floor 2831
make_pcp_surface 2831
mkqfis 128945
modfn_preimage 63911
modfn_root 190505
modfn_unambiguous_root 12294
modinv_degree 7243204
modinv_double_eta_from_2j 12108
modinv_double_eta_from_j 5697
modinv_double_eta_good_disc 5315161
modinv_f3_from_j 358
modinv_f_from_j 2968
modinv_good_disc 14799424
modinv_good_prime 10592604
modinv_height_factor 22758954
modinv_is_Weber 784
modinv_is_double_eta 232205
modinv_j_from_2double_eta 6159
modinv_j_from_f 1857
modinv_level 39606
modinv_max_internal_level 27272
modinv_odd_conductor 526621
modinv_parent 147
modinv_parent_power 147
modinv_pfilter 14553
modinv_ramified 504
modinv_sparse_factor 43424
modpoly_height_bound 2959
modpoly_pickD 2961
modpoly_pickD_primes 11592
normalise_coeffs 10850
oneroot_of_classpoly 37652
orientation_ambiguity 33902
phi2_ZV 19928
phi2_g2_ZV 119
phi2_w3w13_ZV 14
phi2_w3w3e2_ZV 21
phi2_w3w5_ZV 35
phi2_w5w7_ZV 56
phi3_ZV 1812
phi3_f3_ZV 21
phi3_w2w13_ZV 49
phi3_w2w7_ZV 182
phi5_ZV 1502
phi5_f_ZV 182
phi5_w2w3_ZV 56
phi5_w3w3_ZV 63
phi5_w3w7_ZV 42
phi7_w2w5_ZV 112
phi_w2w13_j 2937
phi_w2w3_j 1060
phi_w2w5_j 3242
phi_w2w7_j 6520
phi_w3w13_j 210
phi_w3w3_j 3535
phi_w3w5_j 1136
phi_w3w7_j 2412
phi_w5w7_j 2884
polmodular 623
polmodular0_ZM 27160
polmodular0_powerup_ZM 147
polmodular_ZM 18906
polmodular_ZXX 18829
polmodular_db_add_level 24683
polmodular_db_add_levels 4906
polmodular_db_for_inv 349482
polmodular_db_getp 509974
polmodular_db_init 21125
polmodular_small_ZM 24341
polmodular_split_p_Flm 37651
polmodular_worker 37652
prime_to_conductor 3257079
primeform_discrete_log 197606
primeform_exp_order 1048955
qfb_distinct_prods 232590
qfb_is_two_torsion 1688036
qfb_nform 135737
qform_primeform2 73534
red_primeform 3257079
root_matrix 37651
roots_to_coeffs 39823
safe_abs_sqrt 9868
scanD0 2961
select_L0 2959
select_curve_with_L_tors_point 81003
sixth_root 5493
sympol_to_ZM 24194
twelth_root 898
update_Lsqr_cycle 524866
vecsmall_pick 562524
verify_L_sylow_is_cyclic 46177
weber_exponent 49

Generated by: LCOV version 1.14