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 - buch3.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 1509 1615 93.4 %
Date: 2024-03-28 08:06:56 Functions: 120 125 96.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
bnrinit0 0
dft_bound 0
isprincipalraygen 0
minkowski_bound 0
nf_deg1_prime 0
bnrclassnolist 7
bnrconductorofchar 7
ZM_intersect 14
bnrcompositum 14
bnrlcmcond 14
rnfnormgroup 14
decodemodule 21
discrayabslist 21
is_module 21
bnrclassno_1 28
bnrliftsubgroup 28
chk_listBU 28
compute_M0 28
discrayabslistarch 28
zsimp 28
bnfcertify 35
bnfnarrow 35
bnrisconductor0 35
isprimitive 35
regulatorbound 35
rnfconductor 35
minimforunits 42
bnrdisclist0 49
Hermite_bound 63
bnfcertify0 63
bnrconductor0 63
bound_unit_index 63
init_bad 63
lowerboundforregulator 63
zimmertbound 63
bnrclassno0 105
bnrclassno 112
get_nz 168
bnrdisc0 175
fasmall_append 175
bnrchar_primitive 217
bnrgaloismatrix 231
ABC_to_bnr 273
factordivexact 406
get_NR1D 427
bnrisgalois 448
check_bnrgal 448
subgrouplist_cond_sub 448
get_discdata 469
get_discray 469
zsimpjoin 518
bnrchar 595
bnrchar_i 595
bnrconductor 602
bnrconductor_i 602
bnrconductor_factored 616
bnrmap 616
bnrchar_primitive_raw 679
abmap_char_image 686
rnfconductor0 805
rnfnormgroup_i 805
factorpow 812
abmap_nchar_image 903
ZMV_mul 910
get_classno 910
hdet 1022
rowselect_p 1022
factormul 1043
bnrclassno_all 1106
factorsplice 1169
is_complex 1228
vecselect_p 1344
bnr_char_sanitize 1386
Lbnrclassno 1484
prV_norms 1554
bnrdisc 1631
bnrdisc_i 1631
check_prime 1715
primecertify 1715
is_zero 1804
imageofgroup 1960
bnrsurjection 2709
bnrautmatrix 3087
bnrgaloisapply 3577
bnr_subgroup_sanitize 4200
idealmoddivisor 4214
make_integral_Z 4382
bnrconductor_raw 4620
bnrconductor_factored_i 5236
get_pinvpi 9856
get_pi 9996
bnr_get_Ui 12824
idealmoddivisor_aux 15036
too_big 15484
fast_val 18067
compute_fact 26628
bnr_grp 33397
Buchray 41342
bnrconductormod 41832
cond0_e 47068
condoo_archp 47068
get_Gen 49686
is_unit 70553
bnr_log_gen_arch 86102
subgroup_conductor_ok 95184
subgroupcond 182458
conductor_elts 182906
subgrouplist0 184665
char_denormalize 202587
bnrinitmod 211215
ZM_content_mul 226894
Buchraymod 253370
Buchraymod_i 256783
bnrisconductor 274949
bnr_subgroup_check 312894
contains 402247
isprincipalray 403824
bnrisprincipal 410908
bnr_log_gen_pr 413437
ideallog_to_bnr 499513
ideallog_to_bnr_i 515839
ZM2_ZC2_mul 1338040
bnrisprincipalmod 1455793
bnr_get_El 1460644
bnr_get_U 1840174

Generated by: LCOV version 1.14