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 29877-9124a6ce27) Lines: 1467 1530 95.9 % Date: 2025-01-18 09:08:44 Functions: 116 119 97.5 % Legend: Lines: hit not hit

Function Name	Hit count
FFT	56
FFT_i	98
FFTinv	56
QX_complex_roots	289422
RgX_gtofp_bit	7012778
RgX_normalize1	35808
X2XP1	5229859
ZX_Uspensky	1057709
ZX_Uspensky_equal	28
ZX_Uspensky_equal_yes	14
ZX_Uspensky_no	21
ZX_deg1root	15185
ZX_graeffe	5369
ZX_realroots_irred	48220
ZX_rescale2prim	1948008
ZX_sturm	3750
ZX_sturm_i	119844
ZX_sturm_irred	116094
ZX_sturmpart	875340
ZX_to_ZiX	16400590
ZiX_sqr	98932135
_gen_nored	11113053
_gen_one	14359451
_gen_zero	322516
_intervalcmp	0
_mp_add	24570449
_mp_cmul	34585776
_mp_mul	4359560
_mp_sqr	6270947
_mp_sub	0
_sqrtnr	22635
a_posteriori_errors	530052
abs_update	7991164
abs_update_r	777915
all_roots	529009
append_clone	1600935
bkeval_single_power	5190944
check_ab	925953
checkbound	1849035
checkvalidpol	266862
clean_roots	529053
cleanroots	231644
cmp_complex_appr	2224661
conformal_basecase	1402730
conformal_mapping	467538
conformal_pol	1402849
dblexp	6541143
dbllog2	299806305
dft	501684
dual_modulus	1011208
eval_rel_pol	13118777
fft	14124598
fft2	7462
findpower	40917195
fix_roots	530054
fix_roots1	393872
fujiwara_bound	2003645
fujiwara_bound_real	1147753
graeffe	49456373
homothetie	1607736
homothetie2n	9943191
homothetie_gauss	36462702
ind_maxlog2	901892
initdft	995018
isexactpol	239634
isexactscalar	931280
isreal	960871
isvalidcoeff	1227422
logmax_modulus	4446327
logmin_modulus	1613277
logmodulus	605656
logpre_modulus	605662
logradius	493328
lower_bound	40916870
mydbllog2i	224036801
mydbllog2r	55846570
mydbllogr	9531013
mygprec	63602751
mygprec_absolute	4291955
mygprec_special	530060
mygprecrc	214513130
mygprecrc_special	2158375
myshiftic	135650475
myshiftrc	35456694
newton_polygon	5497228
optimize_split	493335
parameters	493334
pol_to_gaussint	17565092
polgraeffe	14
polmod_to_embed	84
polrootsbound	27221
polrootsbound_i	27214
polsolve	165494
quicktofp	6445043
realroots	50613
refine_F	501679
refine_H	2457681
root_error	1895774
roots	8018
roots_aux	239662
roots_com	239634
rootsdeg0	42
scalepol	4285132
scalepol2n	0
sol_ok	3350
solve_exact_pol	231040
split_0	493656
split_0_1	467862
split_0_2	467862
split_1	467536
split_2	493333
split_complete	1517366
split_fromU	493335
split_pols	165500
splitcauchy	165510
splitpoleval	5190400
tocomplex	1198522
update_radius	493336
usp	940815

Generated by: LCOV version 1.16