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.18.0 lcov report (development 29712-7c8a932571) Lines: 2281 2352 97.0 %
Date: 2024-11-15 09:08:45 Functions: 142 142 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
Fl_addmul2 55846447
Fl_addmul3 9775455
Fl_addmul4 5018882
Fl_addmul5 24953661
Fl_mul4 1691118
Fl_mul5 92161
Fl_mul6 753522
Fl_mul7 92159
Fl_mul8 845642
Fle_quotient_from_kernel_generator 92159
Flm_Fl_phi2_evalx 26373479
Flm_Fl_phi3_evalx 3260847
Flm_Fl_phi5_evalx 5011163
Flm_Fl_polmodular_evalx 41780451
Flv_deriv_pre_inplace 2464
Flv_lastnonzero 350606
Flv_powu_inplace_pre 42147
Flx_double_eta_jpoly 29409
Flx_double_eta_xpoly 41317
FpV_deriv 56
Fp_modinv_to_j 1057
Fp_polmodular_evalx 126
_qsort_cmp 14537084
append_neighbours 572615
calc_primes_for_discriminants 3031
carray_reverse_inplace 18684
check_generators 770583
compute_L_isogenous_curve 83237
db_add_levels 45
disc_best_modinv 1907423
discriminant_with_classno_at_least 3029
double_eta_Fl 23506
double_eta_exponent 54040
double_eta_initial_js 5697
double_eta_power 29409
double_eta_raw 23940
double_eta_raw_to_Fl 29666
double_eta_raw_to_Fp 161
double_eta_root 24470
eighth_root 5092
enum_volcano_floor 38773
enum_volcano_surface 38772
eval_modpoly_modp 2674
find_L_tors_point 134258
find_noniso_L_isogenous_curve 83235
fourth_root 3964
get_Lsqr_cycle 38771
inflate_polys 10850
internal_db 24838
interpolate_coeffs 41294
make_pcp_floor 2901
make_pcp_surface 2901
mkqfis 135735
modfn_preimage 66153
modfn_root 194148
modfn_unambiguous_root 12299
modinv_degree 7243349
modinv_double_eta_from_2j 12112
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 14843104
modinv_good_prime 10681154
modinv_height_factor 22759094
modinv_is_Weber 784
modinv_is_double_eta 235983
modinv_j_from_2double_eta 6159
modinv_j_from_f 1858
modinv_level 40383
modinv_max_internal_level 27846
modinv_odd_conductor 528581
modinv_parent 147
modinv_parent_power 147
modinv_pfilter 14763
modinv_ramified 504
modinv_sparse_factor 44682
modpoly_height_bound 3029
modpoly_pickD 3031
modpoly_pickD_primes 11732
normalise_coeffs 10850
oneroot_of_classpoly 38772
orientation_ambiguity 33902
phi2_ZV 20005
phi2_g2_ZV 119
phi2_w3w13_ZV 14
phi2_w3w3e2_ZV 21
phi2_w3w5_ZV 35
phi2_w5w7_ZV 56
phi3_ZV 1882
phi3_f3_ZV 21
phi3_w2w13_ZV 49
phi3_w2w7_ZV 182
phi5_ZV 1852
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 3241
phi_w2w7_j 6519
phi_w3w13_j 210
phi_w3w3_j 3535
phi_w3w5_j 1138
phi_w3w7_j 2412
phi_w5w7_j 2888
polmodular 630
polmodular0_ZM 27727
polmodular0_powerup_ZM 147
polmodular_ZM 19263
polmodular_ZXX 19179
polmodular_db_add_level 25103
polmodular_db_add_levels 4976
polmodular_db_for_inv 354667
polmodular_db_getp 516723
polmodular_db_init 21482
polmodular_small_ZM 24838
polmodular_split_p_Flm 38769
polmodular_worker 38771
prime_to_conductor 3257079
primeform_discrete_log 198166
primeform_exp_order 1064285
qfb_distinct_prods 232590
qfb_is_two_torsion 1688036
qfb_nform 135737
qform_primeform2 77734
red_primeform 3257079
root_matrix 38774
roots_to_coeffs 40945
safe_abs_sqrt 9868
scanD0 3031
select_L0 3029
select_curve_with_L_tors_point 83237
sixth_root 5492
sympol_to_ZM 24691
twelth_root 898
update_Lsqr_cycle 533840
vecsmall_pick 572610
verify_L_sylow_is_cyclic 47691
weber_exponent 49

Generated by: LCOV version 1.16