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 - rootpol.c (source / functions) Hit Total Coverage Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 1480 1543 95.9 % Date: 2024-05-06 08:07:23 Functions: 116 119 97.5 % Legend: Lines: hit not hit

Function Name	Hit count
_intervalcmp	0
_mp_sub	0
scalepol2n	0
ZX_Uspensky_equal_yes	14
polgraeffe	14
ZX_Uspensky_no	21
ZX_Uspensky_equal	28
rootsdeg0	42
FFT	56
FFTinv	56
polmod_to_embed	84
FFT_i	98
ZX_sturm	1414
ZX_sturmpart	3074
sol_ok	3399
ZX_graeffe	5306
fft2	7462
roots	7913
ZX_deg1root	14443
_sqrtnr	22216
polrootsbound_i	26978
polrootsbound	26985
RgX_normalize1	35234
ZX_realroots_irred	47414
realroots	50536
check_ab	53610
checkbound	105596
ZX_sturm_irred	114676
ZX_sturm_i	116090
split_pols	164789
polsolve	164793
splitcauchy	164796
ZX_Uspensky	182110
solve_exact_pol	212597
cleanroots	212968
isexactpol	220853
roots_com	220853
roots_aux	220881
usp	229456
checkvalidpol	247845
fujiwara_bound_real	269189
QX_complex_roots	289031
_gen_zero	321024
fix_roots1	375328
ZX_rescale2prim	415645
conformal_mapping	445730
split_1	445734
split_0_1	446057
split_0_2	446057
logradius	470706
optimize_split	470708
split_fromU	470708
split_2	470709
update_radius	470709
parameters	470710
split_0	471033
refine_F	478699
dft	478701
all_roots	509841
clean_roots	509883
a_posteriori_errors	510650
fix_roots	510652
mygprec_special	510655
logpre_modulus	581032
logmodulus	581033
abs_update_r	736063
isexactscalar	858319
ind_maxlog2	858596
isreal	916440
initdft	949408
dual_modulus	965453
fujiwara_bound	1097587
isvalidcoeff	1148238
tocomplex	1174095
X2XP1	1276837
conformal_basecase	1337318
conformal_pol	1337438
split_complete	1452711
append_clone	1536744
homothetie	1537550
logmin_modulus	1541532
root_error	1828519
mygprecrc_special	2072202
cmp_complex_appr	2152097
refine_H	2355170
quicktofp	4052149
scalepol	4086446
mygprec_absolute	4173759
logmax_modulus	4251560
_mp_mul	4316912
splitpoleval	5166595
bkeval_single_power	5167006
newton_polygon	5275115
_mp_sqr	6228227
dblexp	6260150
RgX_gtofp_bit	6738006
abs_update	7726495
mydbllogr	9198669
homothetie2n	9526254
_gen_nored	11047032
eval_rel_pol	12577811
fft	13730696
_gen_one	14287670
ZX_to_ZiX	16189586
pol_to_gaussint	16829423
_mp_add	24371359
myshiftrc	34082580
_mp_cmul	34337001
homothetie_gauss	34874569
lower_bound	39133241
findpower	39134477
graeffe	47329047
mydbllog2r	52749681
mygprec	61049968
ZiX_sqr	94676824
myshiftic	130494194
mygprecrc	207547434
mydbllog2i	215851028
dbllog2	290620199

Generated by: LCOV version 1.14