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) Hit Total Coverage Test: PARI/GP v2.18.1 lcov report (development 30764-6b81f1f3fa) Lines: 1536 1838 83.6 % Date: 2026-03-25 09:26:52 Functions: 191 214 89.3 % Legend: Lines: hit not hit

Function Name	Hit count
F2xC_to_FlxC	0
F2xC_to_ZXC	3843
F2xV_to_F2m	234970
F2xV_to_FlxV_inplace	33636
F2xV_to_ZXV_inplace	1451901
F2xXC_to_ZXXC	1141
F2xXV_to_F2xM	0
F2xX_F2x_add	0
F2xX_F2x_mul	481488
F2xX_add	423367
F2xX_addspec	1186
F2xX_deriv	80465
F2xX_lgrenormalizespec	3337
F2xX_recipspec	2423
F2xX_renormalize	2709661
F2xX_to_F2xC	0
F2xX_to_FlxX	56
F2xX_to_Kronecker	309450
F2xX_to_Kronecker_spec	6038
F2xX_to_ZXX	1470
F2xXn_red	0
F2xY_F2xqV_evalx	136416
F2xY_F2xq_evalx	0
F2xY_degreex	206465
F2x_1_add	189932
F2x_F2xqV_eval	610484
F2x_F2xq_eval	44714
F2x_Frobenius	660414
F2x_add	30196264
F2x_addshift	46908
F2x_addshiftip	132113614
F2x_addshiftipspec	157319029
F2x_addspec	73287
F2x_deflate	0
F2x_degree	80486631
F2x_degree_lg	263633573
F2x_degreespec	264
F2x_deriv	1288280
F2x_divrem	10950124
F2x_eval	14350
F2x_even_odd	61169
F2x_extgcd	2033469
F2x_factorel	14999
F2x_gcd	3857425
F2x_get_red	218673
F2x_halfgcd	960
F2x_halfgcd_i	960
F2x_is_smooth	236302
F2x_is_smooth_squarefree	271490
F2x_is_x	19244
F2x_issquare	35468
F2x_matFrobenius	234971
F2x_mul	27578417
F2x_mul1	19824215
F2x_mulspec	27642575
F2x_mulspec_basecase	3312198
F2x_mulspec_mulii	132
F2x_pow2n	175400
F2x_recip	0
F2x_recip1	35
F2x_recip_raw	0
F2x_rem	49108151
F2x_shift	276140
F2x_shiftip	23168897
F2x_shiftneg	1108
F2x_shiftpos	275037
F2x_slice	1608561
F2x_sqr	9083505
F2x_sqrt	248724
F2x_to_F2v	1556037
F2x_to_F2xX	378
F2x_to_Flx	131765
F2x_to_ZX	1351322
F2x_to_int	264
F2x_valrem	35423
F2xn_div	35
F2xn_div1	21
F2xn_inv	28
F2xn_inv1	35
F2xn_inv_basecase1	35
F2xn_mul	39
F2xn_red	76
F2xqV_roots_to_deg1	7
F2xqV_roots_to_pol	7
F2xqXM_F2xqX_mul2	0
F2xqXM_mul2	0
F2xqXQV_red	63
F2xqXQ_autpow	70434
F2xqXQ_autpow_mul	33243
F2xqXQ_autpow_sqr	88809
F2xqXQ_auttrace	2723
F2xqXQ_auttrace_mul	7182
F2xqXQ_auttrace_sqr	4893
F2xqXQ_inv	7
F2xqXQ_invsafe	7
F2xqXQ_mul	114240
F2xqXQ_pow	7
F2xqXQ_powers	7714
F2xqXQ_sqr	104279
F2xqXV_prod	7
F2xqX_F2xqXM_qmul	0
F2xqX_F2xqXQV_eval	14413
F2xqX_F2xqXQ_eval	122052
F2xqX_F2xq_mul	6993
F2xqX_F2xq_mul_to_monic	206010
F2xqX_addmulmul	0
F2xqX_disc	14
F2xqX_divrem	33229
F2xqX_divrem_Barrett	1186
F2xqX_divrem_Barrettspec	1189
F2xqX_divrem_basecase	545220
F2xqX_extgcd	14
F2xqX_extgcd_basecase	14
F2xqX_extgcd_halfgcd	0
F2xqX_gcd	169743
F2xqX_gcd_basecase	169358
F2xqX_get_red	219975
F2xqX_halfgcd	0
F2xqX_halfgcd_all	7
F2xqX_halfgcd_all_i	7
F2xqX_halfres	0
F2xqX_halfres_basecase	7
F2xqX_halfres_i	7
F2xqX_halfres_split	0
F2xqX_halfres_update	0
F2xqX_invBarrett	45
F2xqX_invBarrett_Newton	45
F2xqX_invBarrett_basecase	0
F2xqX_mul	154725
F2xqX_mulspec	3019
F2xqX_normalize	206024
F2xqX_powu	0
F2xqX_red	1004027
F2xqX_rem	750120
F2xqX_resultant	21
F2xqX_resultant_basecase	21
F2xqX_sqr	105350
F2xq_Artin_Schreier	211610
F2xq_autpow	19251
F2xq_autpow_mul	14678
F2xq_autpow_sqr	29308
F2xq_conjvec	7
F2xq_div	549046
F2xq_easylog	559678
F2xq_inv	2033462
F2xq_invsafe	2033469
F2xq_log	543780
F2xq_log_Coppersmith	14
F2xq_log_Coppersmith_d	95
F2xq_log_Coppersmith_rec	28
F2xq_log_Coppersmith_worker	2042
F2xq_log_find_rel	65
F2xq_log_from_rel	71
F2xq_log_index	14
F2xq_matrix_pow	234971
F2xq_mul	10027516
F2xq_order	399
F2xq_pow	2441603
F2xq_pow_init	14
F2xq_pow_table	5242
F2xq_powers	364205
F2xq_powu	49
F2xq_sqr	8735658
F2xq_sqrt	38704
F2xq_sqrt_fast	61169
F2xq_sqrtn	8348
F2xq_trace	457269
FlxC_to_F2xC	16520
FlxXC_to_F2xXC	413
FlxX_to_F2xX	945
Flx_to_F2x	156262
Kronecker_to_F2xqX	157744
RgX_to_F2x	2002
Rg_to_F2xq	1166574
ZXX_to_F2xX	4991
ZX_to_F2x	3164780
Z_to_F2x	213638
_F2xqXQ_add	345030
_F2xqXQ_cmul	481488
_F2xqXQ_mul	114184
_F2xqXQ_one	374773
_F2xqXQ_red	351246
_F2xqXQ_sqr	33250
_F2xqXQ_zero	7
_F2xqX_mul	882
_F2xqX_sqr	0
_F2xq_add	1692001
_F2xq_cmul	2079392
_F2xq_equal0	973
_F2xq_inv	413
_F2xq_mul	2182663
_F2xq_neg	798
_F2xq_one	924891
_F2xq_pow	2398348
_F2xq_rand	9639
_F2xq_red	581999
_F2xq_rmul	15890
_F2xq_s	693
_F2xq_sqr	1210839
_F2xq_zero	259292
check_kernel	14
gener_F2xq	161
get_F2xqX_red	783349
get_F2xq_field	1701
int_to_F2x	132
matJ2_F2xXM	0
matid2_F2xXM	0
mkF2	27000
monomial_F2x	602
pol1_F2xX	446187
polx_F2xX	441
random_F2xqX	2842
rel_Coppersmith	147209
smallirred_F2x	14

Generated by: LCOV version 1.16