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.1 lcov report (development 28676-df828f1c94) Lines: 1480 1543 95.9 % Date: 2023-08-26 07:54:43 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	35
FFT	56
FFTinv	56
polmod_to_embed	84
FFT_i	98
ZX_sturm	1414
ZX_sturmpart	3090
sol_ok	3378
ZX_graeffe	5306
fft2	7462
roots	7969
solve_exact_pol	11716
cleanroots	11849
ZX_deg1root	14055
isexactpol	19790
roots_com	19790
roots_aux	19818
_sqrtnr	21603
polrootsbound_i	28165
polrootsbound	28172
RgX_normalize1	36239
ZX_realroots_irred	46619
checkvalidpol	47969
realroots	50413
check_ab	53503
isexactscalar	58155
checkbound	105396
ZX_sturm_irred	114444
ZX_sturm_i	115858
split_pols	163901
polsolve	163905
splitcauchy	163905
fix_roots1	180449
ZX_Uspensky	181576
usp	229311
conformal_mapping	258893
split_1	258895
split_0_1	259030
split_0_2	259030
fujiwara_bound_real	268510
QX_complex_roots	271166
logradius	279457
split_2	279459
parameters	279460
update_radius	279460
optimize_split	279461
split_fromU	279461
split_0	279595
_gen_zero	280494
refine_F	287199
dft	287202
all_roots	289990
a_posteriori_errors	290750
fix_roots	290751
mygprec_special	290757
clean_roots	290953
abs_update_r	365042
isvalidcoeff	368758
logpre_modulus	393628
logmodulus	393630
ZX_rescale2prim	412406
ind_maxlog2	488889
isreal	538356
initdft	566661
dual_modulus	582874
conformal_basecase	776806
conformal_pol	776931
fujiwara_bound	844960
split_complete	849937
tocomplex	914472
logmin_modulus	924106
append_clone	937852
homothetie	968401
root_error	1180403
mygprecrc_special	1253415
X2XP1	1267154
refine_H	1414262
cmp_complex_appr	1608338
scalepol	2391662
logmax_modulus	2569138
mygprec_absolute	2997615
quicktofp	3187448
newton_polygon	3600994
dblexp	4011078
_mp_mul	4135578
RgX_gtofp_bit	4626256
splitpoleval	4882499
bkeval_single_power	4883217
_mp_sqr	5981578
abs_update	6141076
homothetie2n	6169766
mydbllogr	7056521
eval_rel_pol	8370033
_gen_nored	10470997
pol_to_gaussint	10939025
fft	12048859
_gen_one	13588607
ZX_to_ZiX	15700373
homothetie_gauss	21235250
_mp_add	23058350
findpower	23806082
lower_bound	23806627
myshiftrc	23829888
graeffe	29499908
_mp_cmul	32499200
mygprec	38883833
mydbllog2r	40288412
ZiX_sqr	58996340
myshiftic	91157361
mydbllog2i	154885583
mygprecrc	162318761
dbllog2	217888084

Generated by: LCOV version 1.14