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 - polclass.c (source / functions) Hit Total Coverage Test: PARI/GP v2.16.2 lcov report (development 29419-8afb0ed749) Lines: 825 846 97.5 % Date: 2024-07-02 09:03:41 Functions: 72 73 98.6 % Legend: Lines: hit not hit

Function Name	Hit count
logfac	0
evec_inverse	203
evec_equal	259
orient_pcp	280
evec_compose	518
polclass_psum	553
verify_2path	672
evec_inverse_o	735
distinct_inverses	1001
next_prime_evec	1239
index_to_evec	1386
polclass_small_disc	1491
polclass	2170
modinv_inverted_involution	2230
modinv_negated_involution	2230
famatsmall_divexact	2552
check_modinv	2793
modinv_units	3472
verify_edge	3966
evec_n_to_m	4398
evec_orders	4398
classgp_pcp_check_generators	4419
classgp_make_pcp	4931
height_margin	4931
modinv_has_sign_ambiguity	4931
pcp_get_fau	4931
quadnegclassnou	4931
select_classpoly_prime_pool	4931
select_classpoly_primes	4931
upper_bound_on_classpoly_coeffs	4931
evec_clear	5112
evec_order	5599
next_generator	5725
evec_ri_mutate	5796
adjust_orientation	6159
oriented_n_action	6159
polclass0	6422
pcp_get_n	6439
pcp_get_o	6439
pcp_get_orient_reps	6439
pcp_get_r	6439
pcp_get_m	6712
pcp_get_orient_p	6712
pcp_get_orient_q	6712
vecsmall_isin_skip	7609
pcp_get_L	9429
pcp_get_L0	9429
evec_to_index	10797
adjust_signs	10843
pcp_get_k	11370
evec_copy	12283
evec_ri	13543
Flv_powsum_pre	15978
evec_reduce	21624
polclass_roots_modp	138519
pcp_get_u	138605
polclass_worker	138630
find_jinv	139800
best_torsion_constraint	139905
hasse_bounds	140014
find_j_inv_with_given_trace	140112
oneroot_of_classpoly	140327
pcp_get_D	148458
pcp_get_inv	148667
test_curve_order	166453
norm_eqn_set	177377
factor_uv	186357
hclassno_wrapper	191288
pcp_get_D0	191288
pcp_get_h	191288
torsion_constraint	418475
random_FleV	856888
primecmp	1226903

Generated by: LCOV version 1.16