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.12.0 lcov report (development 23008-54b2e2f01) Lines: 1405 1489 94.4 %
Date: 2018-09-20 05:37:46 Functions: 105 109 96.3 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
bnrconductor 0
dft_bound 0
isprincipalraygen 0
minkowski_bound 0
bnrclassnolist 7
compute_M0 21
decodemodule 21
discrayabslist 21
discrayabslistarch 21
is_module 21
nf_deg1_prime 21
zsimp 21
bnfcertify 28
bnrclassno_1 28
chk_listBU 28
isprimitive 28
regulatorbound 28
subgroupcond 28
bnfnarrow 35
bnrisconductor0 35
minimforunits 35
bnrdisclist0 42
bnfcertify0 49
bound_unit_index 49
hermiteconstant 49
init_bad 49
lowerboundforregulator 49
rnfisabelian 49
zimmertbound 49
bnrconductor0 56
rnfisabelian_i 70
subgrouplist0 77
prV_norms 98
bnrclassno0 105
bnrclassno 112
fasmall_append 119
bnrdisc 175
bnrdisc0 175
bnrdisc_i 175
get_nz 175
bnrgaloismatrix 238
ABC_to_bnr 266
bnrclassno_all 280
sprk_get_cyc 308
zsimpjoin 308
rnfconductor 364
bnrchar 378
bnrchar_i 378
imageofgroup 378
factordivexact 385
get_NR1D 406
imageofchar 413
subgrouplist_cond_sub 420
bnrisgalois 448
check_bnrgal 448
conductor_elts 448
bnrautmatrix 462
get_discdata 497
get_discray 497
rnfnormgroup 511
is_complex 616
bnrchar_primitive 693
factorpow 770
hdet 805
rowselect_p 805
rnfnormgroup_i 875
is_zero 910
ZMV_mul 938
get_classno 938
bnrgaloisapply 1008
factormul 1008
factorsplice 1008
subgroup_conductor_ok 1085
Lbnrclassno 1260
vecselect_p 1344
bnr_get_Ui 1540
bnrsurjection 1540
check_prime 1540
primecertify 1540
make_integral_Z 2114
bnrconductorofchar 2177
get_pinvpi 2366
idealmoddivisor 4214
bnrconductor_i 4753
get_pi 4753
bnr_log_gen_arch 10003
fast_val 10080
idealmoddivisor_aux 10094
too_big 10367
compute_fact 14427
bnrinit0 21105
ZM_content_mul 21350
bnr_grp 21350
get_dataunit 21434
Buchray 24437
Buchray_i 25592
check_subgroup 43659
bnrisconductor 46599
bnr_log_gen_pr 50771
contains 59507
ideallog_to_bnr 60774
ideallog_to_bnr_i 63525
is_unit 70483
char_denormalize 142807
ZM2_ZC2_mul 260077
bnr_get_El 261365
isprincipalray 302553
bnrisprincipal 313228
bnr_get_U 322391

Generated by: LCOV version 1.13