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.18.1 lcov report (development 30112-ee56c7c1f9) Lines: 1467 1530 95.9 % Date: 2025-04-03 09:18:57 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
sol_ok	3350
ZX_sturm	3735
ZX_graeffe	5383
fft2	7462
roots	8018
ZX_deg1root	15212
_sqrtnr	22647
polrootsbound_i	27034
polrootsbound	27041
RgX_normalize1	35628
ZX_realroots_irred	48308
realroots	50613
ZX_sturm_irred	116278
ZX_sturm_i	120013
polsolve	165651
split_pols	165659
splitcauchy	165664
solve_exact_pol	231040
cleanroots	231644
isexactpol	239634
roots_com	239634
roots_aux	239662
checkvalidpol	266682
QX_complex_roots	289491
_gen_zero	323589
fix_roots1	393859
conformal_mapping	467732
split_1	467732
split_0_1	468051
split_0_2	468051
logradius	493540
update_radius	493540
parameters	493542
optimize_split	493544
split_2	493544
split_fromU	493544
split_0	493865
refine_F	501927
dft	501932
all_roots	529080
clean_roots	529128
a_posteriori_errors	530124
fix_roots	530127
mygprec_special	530131
logmodulus	606038
logpre_modulus	606043
abs_update_r	777867
ZX_sturmpart	876876
ind_maxlog2	901859
check_ab	927490
isexactscalar	931280
usp	936911
isreal	961276
initdft	995476
dual_modulus	1011600
ZX_Uspensky	1059418
fujiwara_bound_real	1149514
tocomplex	1199245
isvalidcoeff	1226651
conformal_basecase	1403315
conformal_pol	1403435
split_complete	1517856
append_clone	1601499
homothetie	1608556
logmin_modulus	1613993
checkbound	1852110
root_error	1896494
ZX_rescale2prim	1935551
fujiwara_bound	2005655
mygprecrc_special	2158988
cmp_complex_appr	2226125
refine_H	2458810
scalepol	4286924
mygprec_absolute	4294160
_mp_mul	4360572
logmax_modulus	4448081
splitpoleval	5194779
bkeval_single_power	5194889
X2XP1	5201115
newton_polygon	5500762
_mp_sqr	6273203
quicktofp	6445069
dblexp	6544472
RgX_gtofp_bit	7017268
abs_update	7999536
mydbllogr	9540394
homothetie2n	9948422
_gen_nored	11121487
eval_rel_pol	13126364
fft	14143507
_gen_one	14368503
ZX_to_ZiX	16451247
pol_to_gaussint	17574345
_mp_add	24575548
_mp_cmul	34599665
myshiftrc	35478017
homothetie_gauss	36475734
lower_bound	40929846
findpower	40930616
graeffe	49472467
mydbllog2r	55919274
mygprec	63633269
ZiX_sqr	98965349
myshiftic	135739601
mygprecrc	214796355
mydbllog2i	224206965
dbllog2	300149283

Generated by: LCOV version 1.16