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 - F2x.c (source / functions) Coverage Total Hit Test: PARI/GP v2.19.0 lcov report (development 31057-89c4d54ba6) Lines: 83.5 % 1838 1534 Test Date: 2026-07-25 17:02:42 Functions: 89.3 % 214 191 Legend: Lines:     hit not hit

Function Name	Hit count
F2xC_to_FlxC	0
F2xXV_to_F2xM	0
F2xX_F2x_add	0
F2xX_to_F2xC	0
F2xXn_red	0
F2xY_F2xq_evalx	0
F2x_deflate	0
F2x_recip	0
F2x_recip_raw	0
F2xqXM_F2xqX_mul2	0
F2xqXM_mul2	0
F2xqX_F2xqXM_qmul	0
F2xqX_addmulmul	0
F2xqX_extgcd_halfgcd	0
F2xqX_halfgcd	0
F2xqX_halfres	0
F2xqX_halfres_split	0
F2xqX_halfres_update	0
F2xqX_invBarrett_basecase	0
F2xqX_powu	0
_F2xqX_sqr	0
matJ2_F2xXM	0
matid2_F2xXM	0
F2xqV_roots_to_deg1	7
F2xqV_roots_to_pol	7
F2xqXQ_inv	7
F2xqXQ_invsafe	7
F2xqXQ_pow	7
F2xqXV_prod	7
F2xqX_halfgcd_all	7
F2xqX_halfgcd_all_i	7
F2xqX_halfres_basecase	7
F2xqX_halfres_i	7
F2xq_conjvec	7
_F2xqXQ_zero	7
F2xqX_disc	14
F2xqX_extgcd	14
F2xqX_extgcd_basecase	14
F2xq_log_Coppersmith	14
F2xq_log_index	14
F2xq_pow_init	14
check_kernel	14
smallirred_F2x	14
F2xn_div1	21
F2xqX_resultant	21
F2xqX_resultant_basecase	21
F2xn_inv	28
F2xq_log_Coppersmith_rec	28
F2x_recip1	35
F2xn_div	35
F2xn_inv1	35
F2xn_inv_basecase1	35
F2xn_mul	39
F2xqX_invBarrett	45
F2xqX_invBarrett_Newton	45
F2xq_powu	49
F2xX_to_FlxX	56
F2xq_log_find_rel	60
F2xqXQV_red	63
F2xq_log_from_rel	64
F2xn_red	76
F2xq_log_Coppersmith_d	86
F2x_mulspec_mulii	132
int_to_F2x	132
gener_F2xq	161
F2x_degreespec	264
F2x_to_int	264
F2x_to_F2xX	378
FlxXC_to_F2xXC	413
_F2xq_inv	413
F2xq_order	415
polx_F2xX	441
_F2xq_s	693
_F2xq_neg	798
F2x_halfgcd	856
F2x_halfgcd_i	856
_F2xqX_mul	882
FlxX_to_F2xX	945
_F2xq_equal0	973
F2x_shiftneg	1001
F2xXC_to_ZXXC	1141
F2xX_addspec	1186
F2xqX_divrem_Barrett	1186
F2xqX_divrem_Barrettspec	1189
F2xX_to_ZXX	1470
get_F2xq_field	1701
F2xq_log_Coppersmith_worker	2050
F2xX_recipspec	2423
F2xqXQ_auttrace	2737
monomial_F2x	2751
random_F2xqX	2856
F2xqX_mulspec	3019
RgX_to_F2x	3087
F2xX_lgrenormalizespec	3337
F2xC_to_ZXC	4116
F2xqXQ_auttrace_sqr	4907
F2xq_pow_table	5240
ZXX_to_F2xX	5264
F2xX_to_Kronecker_spec	6038
F2xqX_F2xq_mul	6993
F2xqXQ_auttrace_mul	7196
F2xqXQ_powers	7728
F2xq_sqrtn	8324
_F2xq_rand	9385
F2x_eval	14350
F2xqX_F2xqXQV_eval	14441
F2xq_autpow_mul	14805
F2x_factorel	14998
_F2xq_rmul	15890
FlxC_to_F2xC	16647
F2x_is_x	19352
F2xq_autpow	19359
mkF2	27097
F2xq_autpow_sqr	29478
F2xqX_divrem	33243
_F2xqXQ_sqr	33264
F2xqXQ_autpow_mul	33416
F2xV_to_FlxV_inplace	34238
F2x_valrem	35519
F2x_issquare	35618
F2xq_sqrt	38836
F2x_F2xq_eval	45011
F2x_addshift	46908
F2x_even_odd	61103
F2xq_sqrt_fast	61103
F2xqXQ_autpow	70558
F2x_addspec	73287
F2xX_deriv	80589
F2xqXQ_autpow_sqr	88832
F2xqXQ_sqr	104417
F2xqX_sqr	105488
_F2xqXQ_mul	114481
F2xqXQ_mul	114537
F2xqX_F2xqXQ_eval	122248
F2x_to_Flx	132531
F2xY_F2xqV_evalx	136640
rel_Coppersmith	148228
F2xqX_mul	155525
Flx_to_F2x	156895
Kronecker_to_F2xqX	158544
F2x_pow2n	166618
F2xqX_gcd_basecase	169613
F2xqX_gcd	170012
F2x_1_add	190455
F2xqX_F2xq_mul_to_monic	206606
F2xqX_normalize	206620
F2xY_degreex	207075
F2xq_Artin_Schreier	213015
Z_to_F2x	213618
F2x_get_red	219049
F2xqX_get_red	220365
F2x_is_smooth	232824
F2xV_to_F2m	236460
F2x_matFrobenius	236460
F2xq_matrix_pow	236460
F2x_sqrt	251727
_F2xq_zero	259885
F2x_is_smooth_squarefree	268442
F2x_shiftpos	268684
F2x_shift	269685
F2xX_to_Kronecker	311050
_F2xqXQ_add	345579
_F2xqXQ_red	352064
F2xq_powers	365904
_F2xqXQ_one	375504
F2xX_add	424054
pol1_F2xX	447042
F2xq_trace	458082
F2xX_F2x_mul	482261
_F2xqXQ_cmul	482261
F2xq_log	543777
F2xqX_divrem_basecase	545842
F2xq_easylog	559359
_F2xq_red	582015
F2x_F2xqV_eval	611467
F2x_Frobenius	663271
F2xqX_rem	750990
get_F2xqX_red	784233
Rg_to_F2xq	801028
_F2xq_one	927174
F2xqX_red	1006014
_F2xq_sqr	1211491
F2x_deriv	1292912
F2xq_div	1384004
F2xV_to_ZXV_inplace	1453148
F2x_to_ZX	1536895
F2x_to_F2v	1564434
F2x_slice	1610696
_F2xq_add	1692139
_F2xq_cmul	2079975
_F2xq_mul	2182529
_F2xq_pow	2395045
F2xq_pow	2438402
F2xX_renormalize	2716269
F2xq_inv	2852914
F2x_extgcd	2852921
F2xq_invsafe	2852921
ZX_to_F2x	3168688
F2x_mulspec_basecase	3348265
F2x_gcd	3869308
F2xq_sqr	6657179
F2x_sqr	6997520
F2x_divrem	13960480
F2xq_mul	14097644
F2x_mul1	24369475
F2x_shiftip	27749963
F2x_mul	34661576
F2x_mulspec	34725758
F2x_add	41381102
F2x_rem	52262573
F2x_degree	88136217
F2x_addshiftip	141244746
F2x_addshiftipspec	167832274
F2x_degree_lg	287940399

Generated by: LCOV version 2.0-1