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 - galconj.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29419-8afb0ed749) Lines: 1913 2299 83.2 %
Date: 2024-07-02 09:03:41 Functions: 121 153 79.1 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FlxV_Flx_gcd 0
FlxV_minpolymod 0
Flx_FlxV_minpolymod 0
br_get 0
brl_add 0
factperm 0
findp 0
galoisconj4 0
galoisgenlift_nilp 0
galoisperm_free 0
galoisperm_init 0
genorbit 0
get_pow 0
getfr 0
muldiv 0
nilp_froblift 0
pc_bracket 0
pc_evalcache 0
pc_exp 0
pc_inv 0
pc_mul 0
pc_normalize 0
pc_to_perm 0
pcgrp_get_br 0
pcgrp_get_ord 0
pcgrp_get_pow 0
pcgrp_insert 0
pcgrp_lift 0
permprodeval 0
permtoaut 0
vecsmall_increase 0
vecvecsmall_increase 0
galois_find_totally_split 7
f36galoisgen 14
vec_groupelts_to_group_or_elts 14
galoisexport 28
f36releveauto4 35
cc_char_det 56
galoischardet 56
galoisisnormal 56
galoisconj0 63
findpsi 77
s4galoisgen 77
galoissubfields 84
FpXV_ffisom 91
fixedfieldfactor 91
galoiscosets 91
mkliftpow 91
a4galoisgen 98
galoisfindgroups 98
galoisisabelian 224
conjclasses_count 308
galoisconjclasses 308
galoisidentify 497
s4releveauto 511
cc_chartable 546
galoischartable 553
groupelts_to_group_or_elts 826
chiFT 861
f36releveauto2 910
conjcyclo 966
fixedfieldinclusion 1057
galoissplittinginit 1239
aut_to_groupelts 1246
galoisinitfromaut 1253
galoisdoliftn 1302
galoischarpoly 1435
s4makelift 1456
checkgaloischar 1491
galoischar_charpoly 1491
galoischar_dim 1547
galoismakepsi 1722
inittestlift 1764
listznstarelts 1771
galoissubgroups 1988
frobeniusliftall 2009
galoisfrobeniuslift 2219
checkgroup 3045
galois_group 3318
chival 3920
Qevproj_RgX 4186
checkgroupelts 4634
galoisgenlift 5271
fixedfieldfactmod 5292
galoisgenfixedfield 5292
galoisgenfixedfield0 5292
sympol_aut_evalmod 5292
freetest 5369
inittest 5369
Vmatrix 5607
matheadlong 5607
galoisfixedfield 5775
galoisgenliftauto 6496
get_image 6496
wpow 6496
group_is_elt 6622
chk_perm 7434
testpermutation 8680
galoisvecpermtopol 8771
is2sparse 10955
fixedfieldorbits 11067
fixedfieldsurmer 11067
fixedfieldsympol 11067
sympol_eval 11067
embed_roots 11103
Flv_sympol_eval 11144
sympol_eval_newtonsum 11144
sympol_is1to1_lg 11645
is_group 12019
galoischar_aut_charpoly 12355
stpow 14476
Flm_newtonsum 17403
galoispermtopol 17878
galoispermtopol_i 17878
cyclic_pc 24150
galoisfrobeniuslift_nilp 27342
psi_order 29442
galoisfindfrobenius 29456
makeLden 29546
galoisgen 29645
galoisdolift 29650
initlift 29652
checkgal 30436
galoisborne 31002
automorphismlift 31542
monomorphismratlift 31542
gg_get_std 33586
galoisconj1 35903
numberofconjugates 35903
cc_id 36939
polheadlong 38898
permtopol 49622
vectopol 51219
galoisinit 51279
vecheadlong 57939
galoisfrobeniustest 59873
monoratlift 63642
poltopermtest 65261
notgalois 66948
galoisconj 70000
galoisconj_monic 70000
initgaloisborne 83309
padicisint 94731
galoisanalysis 96589
init_group 96591
galoisconj4_main 96653
matrixnorm 114521
galois_test_perm 117383
embed_disc 135209
improves 162245
s4test 240221
lincomb 320757
intheadlong 1358812

Generated by: LCOV version 1.16