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 29419-8afb0ed749) Lines: 1480 1543 95.9 % Date: 2024-07-02 09:03:41 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	3068
sol_ok	3399
ZX_graeffe	5313
fft2	7462
roots	7913
ZX_deg1root	14569
_sqrtnr	22104
polrootsbound_i	26957
polrootsbound	26964
RgX_normalize1	35213
ZX_realroots_irred	47342
realroots	50543
check_ab	53611
checkbound	105598
ZX_sturm_irred	114977
ZX_sturm_i	116391
split_pols	164742
polsolve	164752
splitcauchy	164756
ZX_Uspensky	182188
usp	229303
solve_exact_pol	230942
cleanroots	231313
isexactpol	239198
roots_com	239198
roots_aux	239226
checkvalidpol	266169
fujiwara_bound_real	269392
QX_complex_roots	286893
_gen_zero	321247
fix_roots1	391814
ZX_rescale2prim	418057
conformal_mapping	465342
split_1	465342
split_0_1	465667
split_0_2	465667
update_radius	491103
logradius	491105
parameters	491105
split_2	491106
optimize_split	491108
split_fromU	491108
split_0	491430
refine_F	499329
dft	499336
all_roots	526047
clean_roots	526092
fix_roots	526856
a_posteriori_errors	526859
mygprec_special	526861
logmodulus	602595
logpre_modulus	602596
abs_update_r	773766
ind_maxlog2	897634
isexactscalar	930550
isreal	956449
initdft	990442
dual_modulus	1006732
fujiwara_bound	1118810
tocomplex	1189958
isvalidcoeff	1221569
X2XP1	1282017
conformal_basecase	1396147
conformal_pol	1396267
split_complete	1509721
append_clone	1592018
homothetie	1600170
logmin_modulus	1605689
root_error	1884801
mygprecrc_special	2143673
cmp_complex_appr	2212866
refine_H	2442813
quicktofp	4143018
mygprec_absolute	4262706
scalepol	4265277
_mp_mul	4352680
logmax_modulus	4425741
splitpoleval	5168038
bkeval_single_power	5168550
newton_polygon	5469163
_mp_sqr	6255436
dblexp	6509537
RgX_gtofp_bit	6976148
abs_update	7961776
mydbllogr	9494155
homothetie2n	9894539
_gen_nored	11067768
eval_rel_pol	13055545
fft	14051911
_gen_one	14300066
ZX_to_ZiX	16386634
pol_to_gaussint	17481338
_mp_add	24530124
_mp_cmul	34501018
myshiftrc	35260191
homothetie_gauss	36294666
lower_bound	40725811
findpower	40726639
graeffe	49222484
mydbllog2r	53449651
mygprec	63256122
ZiX_sqr	98466828
myshiftic	134969502
mygprecrc	213275743
mydbllog2i	222952075
dbllog2	298603305

Generated by: LCOV version 1.16