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 - polmodular.c (source / functions) Hit Total Coverage Test: PARI/GP v2.18.0 lcov report (development 29732-95c6201d93) Lines: 2281 2352 97.0 % Date: 2024-11-21 09:08:54 Functions: 142 142 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
phi2_w3w13_ZV	14
phi2_w3w3e2_ZV	21
phi3_f3_ZV	21
phi2_w3w5_ZV	35
phi5_w3w7_ZV	42
db_add_levels	45
phi3_w2w13_ZV	49
weber_exponent	49
FpV_deriv	56
phi2_w5w7_ZV	56
phi5_w2w3_ZV	56
phi5_w3w3_ZV	63
phi7_w2w5_ZV	112
phi2_g2_ZV	119
Fp_polmodular_evalx	126
modinv_parent	147
modinv_parent_power	147
polmodular0_powerup_ZM	147
double_eta_raw_to_Fp	161
phi3_w2w7_ZV	182
phi5_f_ZV	182
phi_w3w13_j	210
modinv_f3_from_j	358
modinv_ramified	504
polmodular	630
modinv_is_Weber	784
twelth_root	898
Fp_modinv_to_j	1057
phi_w2w3_j	1060
phi_w3w5_j	1133
phi5_ZV	1852
modinv_j_from_f	1858
phi3_ZV	1882
phi_w3w7_j	2412
Flv_deriv_pre_inplace	2464
eval_modpoly_modp	2674
phi_w5w7_j	2884
make_pcp_floor	2901
make_pcp_surface	2901
phi_w2w13_j	2937
modinv_f_from_j	2968
discriminant_with_classno_at_least	3029
modpoly_height_bound	3029
select_L0	3029
calc_primes_for_discriminants	3031
modpoly_pickD	3031
scanD0	3031
phi_w2w5_j	3242
phi_w3w3_j	3535
fourth_root	3963
polmodular_db_add_levels	4976
eighth_root	5094
sixth_root	5493
double_eta_initial_js	5697
modinv_double_eta_from_j	5697
modinv_j_from_2double_eta	6159
phi_w2w7_j	6520
safe_abs_sqrt	9868
inflate_polys	10850
normalise_coeffs	10850
modpoly_pickD_primes	11732
modinv_double_eta_from_2j	12105
modfn_unambiguous_root	12291
modinv_pfilter	14763
carray_reverse_inplace	18682
polmodular_ZXX	19179
polmodular_ZM	19263
phi2_ZV	20005
polmodular_db_init	21482
double_eta_Fl	23499
double_eta_raw	23933
double_eta_root	24462
sympol_to_ZM	24691
internal_db	24838
polmodular_small_ZM	24838
polmodular_db_add_level	25103
polmodular0_ZM	27727
modinv_max_internal_level	27846
Flx_double_eta_jpoly	29409
double_eta_power	29409
double_eta_raw_to_Fl	29658
orientation_ambiguity	33902
polmodular_split_p_Flm	38766
oneroot_of_classpoly	38767
polmodular_worker	38768
enum_volcano_floor	38772
enum_volcano_surface	38773
get_Lsqr_cycle	38774
root_matrix	38774
modinv_level	40383
roots_to_coeffs	40945
interpolate_coeffs	41295
Flx_double_eta_xpoly	41300
Flv_powu_inplace_pre	42146
modinv_sparse_factor	44679
verify_L_sylow_is_cyclic	47713
double_eta_exponent	54030
modfn_preimage	66152
qform_primeform2	77734
find_noniso_L_isogenous_curve	83239
compute_L_isogenous_curve	83240
select_curve_with_L_tors_point	83242
Fl_mul5	92174
Fl_mul7	92174
Fle_quotient_from_kernel_generator	92181
find_L_tors_point	134291
mkqfis	135735
qfb_nform	135737
modfn_root	194145
primeform_discrete_log	198166
qfb_distinct_prods	232590
modinv_is_double_eta	235975
Flv_lastnonzero	350609
polmodular_db_for_inv	354633
polmodular_db_getp	516653
modinv_odd_conductor	528581
update_Lsqr_cycle	533832
append_neighbours	572611
vecsmall_pick	572611
Fl_mul6	753578
check_generators	770583
Fl_mul8	845725
primeform_exp_order	1064285
qfb_is_two_torsion	1688036
Fl_mul4	1691347
disc_best_modinv	1907423
prime_to_conductor	3257079
red_primeform	3257079
Flm_Fl_phi3_evalx	3258772
Flm_Fl_phi5_evalx	5007984
Fl_addmul4	5019254
modinv_double_eta_good_disc	5315161
modinv_degree	7243341
Fl_addmul3	9773229
modinv_good_prime	10681154
_qsort_cmp	14537084
modinv_good_disc	14843104
modinv_height_factor	22759094
Fl_addmul5	24956891
Flm_Fl_phi2_evalx	26369777
Flm_Fl_polmodular_evalx	41780274
Fl_addmul2	55882113

Generated by: LCOV version 1.16