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 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 - lll.c (source / functions) Hit Total Coverage Test: PARI/GP v2.18.0 lcov report (development 29712-7c8a932571) Lines: 1330 1636 81.3 % Date: 2024-11-15 09:08:45 Functions: 125 128 97.7 % Legend: Lines: hit not hit

Function Name	Hit count
Babai	0
RgM_flop	0
fplll	0
matkerint0	28
lllgramkerim	35
lllkerim	35
kerint	42
lllgen	42
lllgramgen	42
lllgramkerimgen	42
lllkerimgen	42
qflllgram	63
kerint0	70
incrementalGSgen	168
lllallgen	168
lllgramallgen	168
lllint	183
REDgen	196
do_SWAPgen	196
qflllgram0	245
qflll0	301
pslg	504
ZM_flattergram	961
ZM_flattergram_rank	961
gramschmidt_upper	1312
RgM_Cholesky_dynprec	2967
flattergram_i	2967
ZM_to_RM	4111
fplll_heuristic	4111
gc_lll	4665
lllgram	9089
truncexpo	11502
ZC_to_RC	15591
dpeM_diagonal_shallow	20229
RgM_flip	34904
lllgramint	36439
lllall	36699
get_gaussred	44232
RgM_is_square_mat	45828
dpetor	93860
setG2_heuristic	144478
realsqrdotproduct	154056
setG_heuristic	162040
Babai_heuristic	220292
dpe_negz	243665
submulzu2n	262957
addmulzu2n	270968
mulshift	315966
absrsmall2	320494
dpe_addmuluz	342556
dpe_submuluz	411757
rotateG	419042
absrsmall	554845
ZM_is_knapsack	606137
ZM_flatter_rank	616236
fplll_flatter	617197
ZM_flatter	618237
dperotate	651112
addmuliu642n	668569
u64toineg	668569
submuliu642n	684655
lll_trivial	769811
dpe_muluz	798790
realdotproduct	930581
get_gramschmidt	1082607
lll	1174955
ZM_is_lower	1182548
potential	1335493
flat	1335497
sizered	1335497
drop	1338459
affii_or_copy_gc	1387048
dpe_abssmall	1387083
submulshift	1493610
fplll_dpe	1568431
dpe_addz	1941341
vectail_inplace	2055454
fplll_fast	2069029
lll_finish	2129336
dbldotsquare	2440597
gramschmidt_dynprec	2670991
cget_dpemat	3136854
affdbldpe	3136858
addmuliu2n	4041116
mpabscmp	4079847
submuliu2n	4127381
ZM_is_upper	4178513
addmulziu	4575955
Babai_dpe	4585365
GS_extraprec	4689119
condition_bound	4689119
ZM2_lll_norms	4700198
gsisinv	5149240
dpe_cmpmul	5193388
dpe_cmp	5193393
lllfp	5267920
spread	5805950
submulziu	5918507
ZM_lll_norms	6953412
nbits2prec64	7413769
cget_dblmat	8276100
addmuliu64_inplace	9438234
submuliu64_inplace	9496657
pari_rint	10701811
rotateG_fast	11444442
update_alpha	11863624
cget_dpevec	13042506
dpe_divz	13948942
dpe_abscmp	14389858
setG2_fast	16845377
addzi	17768177
subzi	18512125
u64toi	19619546
affidpe	20514525
setG_fast	22397861
set_line	24633823
affdpe	25548180
Babai_fast	29914007
rotate	31556494
dblrotate	34333197
cget_dblvec	34480153
dpe_normalize	47878634
dpe_submulz	51489476
dpe_subz	53518828
dpe_mulz	56682655
dpe_normalize0	107974363
dbldotproduct	117112457
itodbl_exp	160936545

Generated by: LCOV version 1.16