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 - FlxX.c (source / functions) Hit Total Coverage Test: PARI/GP v2.18.1 lcov report (development 30724-b49b12e983) Lines: 1198 1484 80.7 % Date: 2026-03-02 09:24:58 Functions: 150 198 75.8 % Legend: Lines: hit not hit

Function Name	Hit count
FlxXC_sub	0
FlxXM_to_ZXXM	0
FlxXV_to_FlxM	0
FlxX_translate1	0
FlxX_triple	0
FlxY_Flx_div	0
FlxY_Flx_mul	0
FlxY_Flx_mul_pre	0
FlxY_Flx_translate	0
FlxY_FlxqV_evalx	0
FlxY_Flxq_evalx	0
FlxY_Flxq_evalx_pre	0
FlxqXC_FlxqXQV_eval	0
FlxqXC_FlxqXQV_eval_pre	0
FlxqXC_FlxqXQ_eval	0
FlxqXQ_autpow	0
FlxqXQ_autsum	0
FlxqXQ_auttrace	0
FlxqXQ_div	0
FlxqXQ_div_pre	0
FlxqXQ_invsafe	0
FlxqXQ_matrix_pow	0
FlxqXQ_powers	0
FlxqXQ_powu	0
FlxqXQ_sqr	0
FlxqX_FlxqXQV_eval	0
FlxqX_FlxqXQ_eval	0
FlxqX_Flxq_mul	0
FlxqX_Flxq_mul_to_monic	0
FlxqX_Newton	0
FlxqX_eval	0
FlxqX_fromNewton	0
FlxqX_halfgcd	0
FlxqX_halfres	0
FlxqX_halfres_update	0
FlxqX_powu	0
FlxqX_red	0
FlxqXn_expint	0
FlxqXn_inv	0
FlxqXn_mul	0
FlxqXn_sqr	0
FlxqXn_sqr_pre	0
Kronecker_to_FlxqX	0
ZXXV_to_FlxXV	0
_FlxqX_add	0
get_FlxqX_algebra	0
matJ2_FlxXM	0
zlxX_translate1	0
FlxqX_halfgcd_all	7
FlxqXQ_inv	14
FlxqXQ_inv_pre	14
FlxqXQ_invsafe_pre	14
FlxqX_disc	14
matid2_FlxXM	16
FlxqXQ_auttrace_sqr	20
FlxqXQ_auttrace_mul	27
FlxqXQ_pow	35
FlxqX_resultant	56
FlxqX_resultant_basecase	56
FlxqX_resultant_pre	56
FlxqXQ_minpoly	62
FlxqX_invBarrett	76
FlxqXQ_pow_pre	91
FlxqX_extgcd_halfgcd	130
FlxqX_normalize	133
FlxqXQ_minpoly_pre	224
FlxY_evalx	238
FlxY_Flx_add	245
FlxqX_halfgcd_pre	253
polxn_FlxX	253
_FlxqXQ_zero	316
FlxqXQ_auttrace_pre	337
FlxqX_get_red	371
FlxqXQ_transmul_init	506
ZXXT_to_FlxXT	512
random_FlxqX	590
FlxX_Fl_mul	761
FlxX_double	761
get_FlxqXQ_algebra	761
FlxqX_halfgcd_all_i	775
FlxqX_halfgcd_all_pre	775
FlxqXQ_transmul	1071
FlxX_Laplace	1216
FlxqX_composedsum	1216
FlxqX_fromNewton_pre	1216
FlxqXn_expint_pre	1216
FlxqX_sqr	1218
FlxqX_invBarrett_basecase	1419
FlxqXQ_mul	1947
FlxX_invLaplace	2432
FlxqX_Newton_pre	2432
FlxqXn_inv_pre	2432
Fly_to_FlxY	2517
FlxX_neg	2657
FlxqXM_mul2	3276
FlxqX_FlxqXM_qmul	3276
FlxqX_halfres_split	3366
FlxqXQ_autpow_mul	3714
FlxqX_halfres_basecase	4035
FlxX_integXn	4804
_FlxqX_sub	5526
FlxqX_rem	5949
_FlxqXQ_red	6044
FlxXn_recip	6080
FlxqXM_FlxqX_mul2	6626
FlxqX_invBarrett_Newton	6711
FlxqX_halfres_i	7401
FlxY_Flx_div_pre	7527
FlxqX_invBarrett_pre	8130
FlxqX_powu_pre	10178
_FlxqX_sqr	10213
FlxYqq_mul	10368
FlxqX_saferesultant	11040
FlxY_Flx_sub	11663
FlxqXQ_autsum_pre	12126
FlxXC_to_ZXXC	12481
FlxX_blocks	13196
FlxqXn_mulhigh	13196
FlxqX_addmulmul	13530
FlxqX_mulhigh_i	18000
FlxqXQ_autsum_sqr	18585
FlxqX_gcd	23444
FlxqXQ_autsum_mul	29988
FlxqV_roots_to_deg1	32152
FlxqV_roots_to_pol	32152
FlxYqq_pow	39224
FlxqXn_mul_pre	40413
FlxqX_div_by_X_x	51898
FlxqX_div_by_X_x_pre	51898
FlxX_to_Flm	57635
FlxqX_mul	62893
FlxXn_red	66176
FlxqXQ_autpow_pre	69275
FlxX_shift	71622
FlxqXQ_autpow_sqr	72682
FlxqX_FlxqXQ_eval_pre	76758
FlxYqq_sqr	80513
FlxqXQ_powu_pre	82059
FlxX_deriv	84694
FlxYqq_redswap	90882
FlxqX_safegcd	95700
FlxqX_divrem_Barrett	103701
Flxq_addmul_pre	103796
FlxqXQ_powers_pre	108246
FlxX_subspec	110317
FlxqX_divrem_Barrettspec	110590
_FlxqXQ_one	111281
FlxqX_extgcd	133812
FlxqX_extgcd_basecase	133826
FlxqX_extgcd_pre	133826
FlxY_FlxqV_evalx_pre	136372
FlxXV_to_FlxM_lg	138372
FlxX_blocks_FlxM	138372
FlxqX_FlxqXQV_eval_pre	138372
FlxqX_Flxq_mul_pre	155141
RgX_to_FlxqX	161617
FlxqX_gcd_basecase	166757
FlxqX_gcd_pre	175795
_FlxqXQ_mul	179128
FlxX_swap	181756
FlxqX_normalize_pre	190062
Flm_to_FlxX	221471
FlxqXV_prod	223093
FlxX_recipspec	235489
_FlxqXQ_sqr	261538
FlxqXQ_sqr_pre	261986
FlxqX_mulspec	293138
FlxX_to_FlxC	319898
FlxX_lgrenormalizespec	328043
FlxX_add	348540
FlxqX_sqr_pre	353930
FlxX_to_Flx	374345
FlxqX_saferem	376874
FlxqXQ_mul_pre	471000
FlxqX_get_red_pre	491676
_FlxqX_mul	538529
FlxX_sub	623866
FlxqX_Flxq_mul_to_monic_pre	662644
polx_FlxX	690500
pol1_FlxX	758616
FlxqX_divrem	1057692
FlxqX_red_pre	1260885
FlxqX_divrem_pre	1560277
FlxqX_mul_pre	1709052
FlxqX_rem_pre	2036120
Kronecker_to_FlxqX_pre	2356085
FlxX_to_ZXX	2739353
zxX_to_FlxX	2826665
FlxY_degreex	3030392
FlxqX_divrem_basecase	3144991
get_FlxqX_red	3596901
zxX_to_Kronecker	3772011
zxX_to_Kronecker_spec	4358285
ZXX_to_FlxX	4659287
FlxY_eval_powers_pre	7373840
FlxY_evalx_powers_pre	10996395
FlxY_evalx_pre	14253031
FlxX_renormalize	17631313

Generated by: LCOV version 1.16