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 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.10.1 lcov report (development 22726-9e20c6a88) Lines: 1523 1603 95.0 % Date: 2018-06-23 05:36:28 Functions: 113 129 87.6 % Legend: Lines: hit not hit

Function Name	Hit count
ZX_to_monic	0
checkbnrgen	0
checksqmat	0
embednorm_T2	0
factoredpolred	0
factoredpolred2	0
idealramfrobenius	0
nf_get_allroots	0
nfinitred	0
nfinitred2	0
polred2	0
polredabs	0
polredabs2	0
polredabsall	0
smallpolred	0
smallpolred2	0
nfcertify	7
pr_galoisapply	7
vecgaloisapply	7
polred	14
polredord	21
nf_rnfeq_partial	35
rnfpolredbest	35
elt_galoisapply	49
idealfrobenius_aut	56
idealfrobenius	63
nfisisom	63
nfnewprec	63
polred0	70
Polred	84
rnfpolredabs	91
nfisincl	98
partmap_reverse	98
nfpolred	105
get_bnfpol	112
idealramgroups	112
rnfpolred_i	126
tests_OK	140
incl_disc	238
primes_certify	294
idealramgroupswild	490
polredabs0	539
remove_duplicates	539
polredbest	609
findmindisc	616
idealramfrobenius_aut	616
chk_gen_init	617
polredabs_i	623
polredbest_i	644
polredbest_aux	728
filter	777
polred_aux	805
get_nfindex	1204
nfinit_basic_partial	1295
nfgaloispermtobasis	1372
polred_init	1386
idealquasifrob	1435
nfnewprec_shallow	1585
nf_basden	1599
ZM_image_shallow	1651
set_mulid	1736
idealinertiagroup	1834
idealramgroupstame	1897
chk_gen_prec	1995
nfinit	2100
idealramgroups_aut	2387
nfinit0	2436
gal_check_pol	2450
embed_T2	2549
tschirnhaus	3178
ZX_cmp	3634
nfinitall	4536
make_Tr	5285
zk_galoisapplymod	5509
get_aut	7868
FpX_FpC_nfpoleval	8071
check_ZKmodule	8575
get_red_G	9800
nfpoleval	11417
real_norm	11767
nf_input_type	13062
nfinit_basic	13062
nfinit_complete	13804
get_Tr	13811
nf_multable	13811
nfmaxord_to_nf	13811
set_LLL_basis	15085
checkabgrp	16926
cmpii_polred	17866
get_bnf	18872
ZX_is_better	19321
try_polmin	20328
ZX_Q_normalize	20734
ZX_Z_normalize	20986
ZX_primitive_to_monic	21021
get_roots	24816
nffp_init	24997
ZX_canon_neg	25545
make_G	26602
make_M	26602
make_M_G	26602
nfgaloismatrix	27559
nfmaxord_complete	27615
chk_gen	28513
get_polchar	28513
get_bas_den	30247
QX_table_nfpoleval	30622
ZC_galoisapply	30748
get_nfpol	42603
nftyp	43393
get_pol	43916
galoisapply	44909
quicktrace	83258
typv6	109627
get_nf	114499
checknfelt_mod	197456
nf_get_prec	233434
checkbid	301286
checkbid_i	326976
checkbnr	370698
checkrnf	714343
checkrnf_i	718879
checkbnf	1041726
checkbnf_i	1044883
ZX_Q_mul	2333727
embed_norm	2951845
complex_norm	3026620
checknf	51626990
checknf_i	52555649

Generated by: LCOV version 1.13