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 30586-ccf601f509) Lines: 1467 1530 95.9 % Date: 2025-12-24 09:20:59 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	3378
ZX_graeffe	5390
ZX_sturm	6395
fft2	7462
roots	8018
ZX_deg1root	15195
_sqrtnr	22586
polrootsbound_i	27125
polrootsbound	27132
RgX_normalize1	35733
ZX_realroots_irred	48550
realroots	50627
ZX_sturm_irred	116576
ZX_sturm_i	122970
split_pols	166675
polsolve	166676
splitcauchy	166690
solve_exact_pol	231145
cleanroots	231763
isexactpol	239753
roots_com	239753
roots_aux	239781
checkvalidpol	266892
QX_complex_roots	296164
_gen_zero	325933
fix_roots1	398350
conformal_mapping	467781
split_1	467781
split_0_1	468141
split_0_2	468141
split_2	493835
logradius	493838
split_fromU	493838
optimize_split	493839
parameters	493839
update_radius	493840
split_0	494201
refine_F	502221
dft	502229
all_roots	535875
clean_roots	535919
a_posteriori_errors	536980
fix_roots	536980
mygprec_special	536982
logmodulus	606537
logpre_modulus	606537
abs_update_r	778512
ind_maxlog2	902442
isexactscalar	931714
isreal	961619
initdft	996063
dual_modulus	1012197
usp	1125946
ZX_sturmpart	1128248
check_ab	1178876
tocomplex	1213147
isvalidcoeff	1228149
ZX_Uspensky	1313737
conformal_basecase	1403462
conformal_pol	1403581
fujiwara_bound_real	1406711
split_complete	1525381
homothetie	1609612
append_clone	1613489
logmin_modulus	1614341
root_error	1911607
mygprecrc_special	2178246
ZX_rescale2prim	2233738
cmp_complex_appr	2237221
fujiwara_bound	2271010
checkbound	2354881
refine_H	2459918
scalepol	4288107
mygprec_absolute	4337360
_mp_mul	4374528
logmax_modulus	4449507
bkeval_single_power	5234421
splitpoleval	5234583
newton_polygon	5505098
X2XP1	5990208
_mp_sqr	6297878
dblexp	6547140
quicktofp	6976747
RgX_gtofp_bit	7028913
abs_update	8003974
mydbllogr	9544946
homothetie2n	9954264
_gen_nored	11198590
eval_rel_pol	13134167
fft	14155168
_gen_one	14469854
ZX_to_ZiX	16451113
pol_to_gaussint	17583662
_mp_add	24659495
_mp_cmul	34759809
myshiftrc	35494122
homothetie_gauss	36485906
findpower	40943749
lower_bound	40943865
graeffe	49492288
mydbllog2r	56170194
mygprec	63740808
ZiX_sqr	99005530
myshiftic	135764193
mygprecrc	215125340
mydbllog2i	226361220
dbllog2	302020363

Generated by: LCOV version 1.16