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.1 lcov report (development 29877-9124a6ce27) Lines: 2281 2352 97.0 %
Date: 2025-01-18 09:08:44 Functions: 142 142 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
Fl_addmul2 55888905
Fl_addmul3 9775819
Fl_addmul4 5018162
Fl_addmul5 24946754
Fl_mul4 1690987
Fl_mul5 92159
Fl_mul6 753419
Fl_mul7 92158
Fl_mul8 845553
Fle_quotient_from_kernel_generator 92163
Flm_Fl_phi2_evalx 26400704
Flm_Fl_phi3_evalx 3260625
Flm_Fl_phi5_evalx 5008568
Flm_Fl_polmodular_evalx 41809557
Flv_deriv_pre_inplace 2463
Flv_lastnonzero 350610
Flv_powu_inplace_pre 42147
Flx_double_eta_jpoly 29409
Flx_double_eta_xpoly 41314
FpV_deriv 56
Fp_modinv_to_j 1057
Fp_polmodular_evalx 126
_qsort_cmp 14537084
append_neighbours 572591
calc_primes_for_discriminants 3031
carray_reverse_inplace 18678
check_generators 770583
compute_L_isogenous_curve 83241
db_add_levels 45
disc_best_modinv 1907423
discriminant_with_classno_at_least 3029
double_eta_Fl 23506
double_eta_exponent 54039
double_eta_initial_js 5697
double_eta_power 29409
double_eta_raw 23940
double_eta_raw_to_Fl 29665
double_eta_raw_to_Fp 161
double_eta_root 24469
eighth_root 5094
enum_volcano_floor 38773
enum_volcano_surface 38772
eval_modpoly_modp 2673
find_L_tors_point 134265
find_noniso_L_isogenous_curve 83237
fourth_root 3964
get_Lsqr_cycle 38773
inflate_polys 10850
internal_db 24838
interpolate_coeffs 41296
make_pcp_floor 2901
make_pcp_surface 2901
mkqfis 135735
modfn_preimage 66149
modfn_root 194151
modfn_unambiguous_root 12299
modinv_degree 7243349
modinv_double_eta_from_2j 12112
modinv_double_eta_from_j 5696
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 235984
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 44675
modpoly_height_bound 3029
modpoly_pickD 3031
modpoly_pickD_primes 11732
normalise_coeffs 10850
oneroot_of_classpoly 38765
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 3242
phi_w2w7_j 6520
phi_w3w13_j 210
phi_w3w3_j 3535
phi_w3w5_j 1137
phi_w3w7_j 2412
phi_w5w7_j 2887
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 354703
polmodular_db_getp 516688
polmodular_db_init 21482
polmodular_small_ZM 24838
polmodular_split_p_Flm 38762
polmodular_worker 38769
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 40944
safe_abs_sqrt 9868
scanD0 3031
select_L0 3029
select_curve_with_L_tors_point 83241
sixth_root 5493
sympol_to_ZM 24691
twelth_root 898
update_Lsqr_cycle 533806
vecsmall_pick 572588
verify_L_sylow_is_cyclic 47697
weber_exponent 49

Generated by: LCOV version 1.16