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 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 - base1.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.8.0 lcov report (development 19053-42ab05e) Lines: 1556 1664 93.5 %
Date: 2016-06-29 Functions: 117 132 88.6 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 989 1221 81.0 %

Function Name Sort by function name Hit count Sort by hit count
F4 1092
FpX_FpC_nfpoleval 1456
Polred 84
QX_galoisapplymod 1456
QX_table_nfpoleval 19572
ZC_galoisapply 10094
ZM_image_shallow 1427
ZX_Q_normalize 11991
ZX_Z_normalize 12243
ZX_canon_neg 10733
ZX_is_better 4621
ZX_primitive_to_monic 12250
ZX_to_monic 0
check_ZKmodule 3234
checkabgrp 11403
checkbid 199785
checkbid_i 205987
checkbnf 684546
checkbnf_i 686681
checkbnr 197230
checkbnrgen 0
checknf 5660775
checknf_i 5927311
checknfelt_mod 84322
checkrnf 208656
checkrnf_i 211729
checksqmat 0
chk_gen 10593
chk_gen_init 351
chk_gen_prec 1456
cmp_abs_ZX 3172
complex_norm 1870387
elt_galoisapply 49
embed_T2 1583
embed_norm 1015153
embednorm_T2 0
factoredpolred 0
factoredpolred2 0
filter 770
findmindisc 350
gal_check_pol 182
galois_res 1057
galoisapply 5061
get_Tr 5068
get_bas_den 13002
get_bnf 13041
get_bnfpol 112
get_nf 62230
get_nf_fp_compo 6201
get_nfindex 525
get_nfpol 14746
get_pol 24778
get_polchar 10593
get_red_G 3374
get_roots 9050
get_roots_for_M 10327
get_sign 5068
idealfrobenius 63
idealfrobenius_aut 3024
idealinertiagroup 42
idealquasifrob 3017
idealramfrobenius 14
idealramgroupindex 14
idealramgroups 119
idealramgroupstame 105
make_G 10327
make_M 10327
make_M_G 10327
make_Tr 2716
nf_get_allroots 0
nf_get_prec 68364
nf_input_type 6174
nf_set_multable 5068
nfbasic_add_disc 5061
nfbasic_init 6174
nfbasic_to_nf 5068
nfcertify 7
nffp_init 9575
nfgaloismatrix 1911
nfgaloispermtobasis 14
nfinit 1183
nfinit0 1673
nfinit_step1 5082
nfinit_step2 5061
nfinitall 3073
nfinitred 0
nfinitred2 0
nfisincl 35
nfisisom 14
nfiso0 49
nfnewprec 63
nfnewprec_shallow 752
nfpoleval 11417
nfpolred 84
nftyp 38262
polgalois 3059
polgaloisnames 1057
polred 14
polred0 70
polred2 0
polred_aux 798
polred_init 1113
polredabs 0
polredabs0 357
polredabs2 0
polredabs_aux 343
polredabsall 0
polredbest 616
polredbest_aux 721
polredord 21
pr_galoisapply 7
primes_certify 91
quicktrace 58912
real_norm 6671
remake_GM 752
remove_duplicates 343
rnfpolred_i 63
rnfpolredabs 28
rnfpolredbest 35
roots_to_ZX 1393
set_LLL_basis 6090
set_mulid 1302
smallpolred 0
smallpolred2 0
store 2478
table_galoisapply 3738
tests_OK 49
transroot 5992
try_polmin 20272
tschirnhaus 3164
typv6 51296
vecgaloisapply 7

Generated by: LCOV version 1.9