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.18.0 lcov report (development 29806-4d001396c7) Lines: 825 846 97.5 % Date: 2024-12-21 09:08:57 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	2222
modinv_negated_involution	2222
famatsmall_divexact	2565
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	7624
pcp_get_L	9429
pcp_get_L0	9429
evec_to_index	10797
adjust_signs	10843
pcp_get_k	11370
evec_copy	12283
evec_ri	13547
Flv_powsum_pre	15978
evec_reduce	21624
polclass_roots_modp	138546
pcp_get_u	138610
polclass_worker	138635
find_jinv	139817
best_torsion_constraint	139993
hasse_bounds	140059
find_j_inv_with_given_trace	140140
oneroot_of_classpoly	140355
pcp_get_D	148466
pcp_get_inv	148692
test_curve_order	166430
norm_eqn_set	177381
factor_uv	186357
hclassno_wrapper	191288
pcp_get_D0	191288
pcp_get_h	191288
torsion_constraint	418730
random_FleV	861776
primecmp	1226903

Generated by: LCOV version 1.16