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-bordeaux1.fr machine (x86_64 architecture), and agregate them in the final report:

• with GMP kernel
• 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 - base4.c (source / functions) Hit Total Coverage Test: PARI/GP v2.6.2 lcov report (development 16224-511a718) Lines: 1670 1731 96.5 % Date: 2014-03-07 Functions: 137 140 97.9 % Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 1009 1210 83.4 %

Function Name	Hit count
RM_round_maxrank	13998
RgV_find_denom	0
ZM_Q_mul	23186
ZM_famat_limit	163375
_idealmulred	21296
_idealsqrred	30115
_mul	13550
_sqr	30115
addmul_col	24747
addmul_mat	14263
append	54086
check_listpr	400
chk_vdir	16
colcomb	22588
colcomb1	27605
coprime_part	2074
element_close	7064
element_mulvecrow	98
elt_cmp	16787
elt_egal	4310
ext_inv	1931
ext_mul	80899
ext_pow	130
ext_sqr	30099
extideal_HNF_mul	10599
factor_norm	12100
factorbackprime	2125
famat_add	66465
famat_inv	2011
famat_inv_shallow	4
famat_makecoprime	68144
famat_mul	93536
famat_mul_shallow	1970
famat_pow	1312
famat_reduce	3568
famat_sqr	25659
famat_to_Fp_simple	216
famat_to_nf	0
famat_to_nf_moddivisor	6858
famatsmall_reduce	5041
get_random_a	118839
hnf_QC_QC	4
hnf_Q_Q	12
hnf_Q_QC	20
hnf_Z_QC	16
hnf_Z_ZC	20
idV_simplify	1168
idealadd	12894
idealaddmultoone	24
idealaddtoone	1395
idealaddtoone0	40
idealaddtoone_i	127485
idealappr	408
idealappr0	8
idealapprfact	400
idealapprfact_i	8147
idealchinese	16
idealcoprime	48
idealcoprimefact	2864
idealdiv	8057
idealdiv0	20
idealdivexact	911
idealdivpowprime	1130
idealfactor	12960
idealfactor_HNF	12100
idealhnf	706
idealhnf0	72
idealhnf_principal	80543
idealhnf_shallow	187189
idealhnf_two	797130
idealintersect	16
idealinv	22552
idealinv_HNF	15524
idealinv_HNF_aux	15872
idealmin	4
idealmul	326894
idealmul0	12
idealmul_HNF	206581
idealmul_HNF_two	426661
idealmul_aux	357009
idealmulelt	91670
idealmulpowprime	20406
idealmulred	7746
idealnorm	4097
idealnumden	12116
idealpow	208122
idealpow0	24
idealpow_aux	208122
idealpowprime	139711
idealpowred	28068
idealpows	6625
idealprodprime	0
idealred0	72452
idealsqr	30115
idealtwoelt	6628
idealtwoelt0	36
idealtwoelt2	28
idealtyp	1654505
idealval	206993
init_unif_mod_fZ	10537
isideal	52
make_integral	2178
mat_ideal_two_elt	214678
mat_ideal_two_elt2	16
merge_fact	12
nf_coprime_part	64
nf_get_Gtwist	16
nf_get_Gtwist1	12746
nf_to_Fp_simple	824
nfbezout	12870
nfcleanmod	3368
nfdetint	12
nfdivmodpr	336
nfhnf	964
nfhnfmod	232
nfkermodpr	8
nfmulmodpr	340
nfpowmodpr	96
nfreduce	8
nfsnf	12
nfsolvemodpr	12
not_in_ideal	8
ok_elt	133371
pidealprimeinv	708
rowcomb	64
to_Fp_simple	676
to_famat	436
to_famat_shallow	31507
trivial_merge	16
twistG	12782
ucoprime_part	76
unif_mod_fZ	15776
unnf_minus_x	122056
val_norm	217253
vec_mulid	4
vecdiv	516
vecinv	2508
vecmul	139715
vecpow	9274
zero_nfbezout	11539

Generated by: LCOV version 1.9