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 - perm.c (source / functions) Hit Total Coverage Test: PARI/GP v2.16.2 lcov report (development 29419-8afb0ed749) Lines: 1025 1111 92.3 % Date: 2024-07-02 09:03:41 Functions: 112 119 94.1 % Legend: Lines: hit not hit

Function Name	Hit count
cyc_pow_perm	0
groupelts_abelian_group	0
groupelts_exponent	0
vec_is1to1	0
vecperm_extendschreier	0
vecsmall_duplicate_sorted	0
vecvecsmall_max	0
all_cyclic_subg	14
group_export_GAP	14
group_export_MAGMA	14
groupelts_cyclic_primepow	14
groupelts_residuum	14
groupelts_solvablesubgroups	14
groupelts_subgroups_raw	14
groupelts_to_regular	14
set_derived	14
set_idx	14
subg_to_elts	14
triv_subg	14
vecvecsmall_sort	14
perm_mul_inplace2	21
perm_to_GAP	21
group_export	28
perm_pow	49
vecvecsmall_sort_inplace	126
permcycles	259
permsign	273
group_abelianSNF	336
group_subgroup_isnormal	336
subg_extend	364
group_abelianHNF	385
abelian_group	406
perm_order	427
cyclic_subg	434
groupelts_pow	434
permorder	434
vecvecsmall_sort_uniq	462
subgroups_tableset	497
groupelts_center	700
groupelt_subg_normalize	812
set_groupelts	826
vecvecsmall_indexsort	861
dicyclicgroup	1085
subg_get_gen	1176
quotient_groupelts	1512
perm_to_Z	1680
perm_to_Z_inplace	1701
permtonum	1708
vec_isconst	1841
_domul	2002
tableset_find_index	2002
isperm	2667
groupelts_cyclic_subgroups	3577
groupelts_to_group	3584
galois_elts_sorted	3885
conjclasses_repr	4270
groupelts_conjclasses	4270
group_to_cc	4291
vecperm_orbits	4746
group_subgroup_is_faithful	4816
group_subgroup_kernel_set	4816
Z_to_perm	5915
numtoperm	5915
cyc_pow	7238
subg_get_set	8694
group_isabelian	8932
group_isA4S4	9982
quotient_group	10150
group_quotient	10157
vecsmall_is1to1	11144
groupelts_quotient	11669
vecsmall_counting_indexsort	12434
perm_generate	13048
group_subgroups	13146
perm_cycles	13188
groupelts_conj_set	14448
groupelts_subgroup_isnormal	14609
vecsmall_counting_uniq	16115
vecsmall_uniq	16474
vecsmall_isconst	17305
sgcmp	17353
perm_powu	18585
vecsmall_duplicate	19745
group_domain	26628
cyclicgroup	27860
groupelts_set	28014
quo_get_coset	30002
quotient_perm	30002
vecsmall_uniq_sorted	31369
liftsubgroup	49182
perm_bracket	50400
quotient_subgroup_lift	50694
trivialsubgroups	52346
trivialgroup	52374
vecsmall_is1to1spec	53984
liftlistsubgroups	65219
group_set	90671
vec_insert	98084
group_elts	140567
quo_get_gen	141540
group_perm_normalize	182245
group_rightcoset	182245
perm_relorder	220108
group_leftcoset	304318
vecvecsmall_sort_shallow	365848
perm_orderu	435939
perm_commute	572495
group_order	710542
grp_get_gen	941696
perm_sign	947059
vecperm_orbits_i	1401358
grp_get_ord	1596196
vecsmall_counting_sort	1881590
vecsmall_indexsort	2409696
vecsmall_indexsortspec	7953809
vecvecsmall_search	22934359
vecsmall_sort_max	25897580
vecsmall_sort	30330857
vecsmall_sortspec	145528252

Generated by: LCOV version 1.16