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.16.2 lcov report (development 29115-f22e516b23) Lines: 1542 1840 83.8 % Date: 2024-04-18 08:07:12 Functions: 192 214 89.7 % Legend: Lines: hit not hit

Function Name	Hit count
F2xC_to_FlxC	0
F2xC_to_ZXC	3710
F2xV_to_F2m	235774
F2xV_to_FlxV_inplace	30303
F2xV_to_ZXV_inplace	1423557
F2xXC_to_ZXXC	1176
F2xXV_to_F2xM	0
F2xX_F2x_add	0
F2xX_F2x_mul	482454
F2xX_add	424039
F2xX_addspec	1241
F2xX_deriv	80710
F2xX_lgrenormalizespec	3415
F2xX_recipspec	2532
F2xX_renormalize	2715947
F2xX_to_F2xC	0
F2xX_to_FlxX	56
F2xX_to_Kronecker	310246
F2xX_to_Kronecker_spec	6206
F2xX_to_ZXX	1547
F2xXn_red	0
F2xY_F2xqV_evalx	136878
F2xY_F2xq_evalx	0
F2xY_degreex	206969
F2x_1_add	190305
F2x_F2xqV_eval	611863
F2x_F2xq_eval	44751
F2x_Frobenius	657796
F2x_add	32721306
F2x_addshift	44720
F2x_addshiftip	137825543
F2x_addshiftipspec	171300730
F2x_addspec	69455
F2x_deflate	0
F2x_degree	80250259
F2x_degree_lg	269623168
F2x_degreespec	204
F2x_deriv	1266265
F2x_divrem	13428783
F2x_eval	13062
F2x_even_odd	61358
F2x_extgcd	2058462
F2x_factorel	15010
F2x_gcd	3681861
F2x_get_red	219492
F2x_halfgcd	473
F2x_halfgcd_i	473
F2x_is_smooth	222585
F2x_is_smooth_squarefree	257664
F2x_is_x	19288
F2x_issquare	35453
F2x_matFrobenius	235774
F2x_mul	30196685
F2x_mul1	20693751
F2x_mulspec	30258149
F2x_mulspec_basecase	5114428
F2x_mulspec_mulii	102
F2x_pow2n	149066
F2x_recip	0
F2x_recip1	42
F2x_recip_raw	0
F2x_rem	46774395
F2x_shift	249276
F2x_shiftip	25839410
F2x_shiftneg	1050
F2x_shiftpos	248242
F2x_slice	1590188
F2x_sqr	8891526
F2x_sqrt	244767
F2x_to_F2v	1557739
F2x_to_F2xX	378
F2x_to_Flx	131583
F2x_to_ZX	1305831
F2x_to_int	204
F2x_valrem	34939
F2xn_div	42
F2xn_div1	28
F2xn_inv	28
F2xn_inv1	42
F2xn_inv_basecase1	42
F2xn_mul	46
F2xn_red	83
F2xqV_roots_to_deg1	7
F2xqV_roots_to_pol	7
F2xqXM_F2xqX_mul2	0
F2xqXM_mul2	0
F2xqXQV_red	63
F2xqXQ_autpow	70665
F2xqXQ_autpow_mul	33432
F2xqXQ_autpow_sqr	88984
F2xqXQ_auttrace	2709
F2xqXQ_auttrace_mul	7231
F2xqXQ_auttrace_sqr	4900
F2xqXQ_inv	7
F2xqXQ_invsafe	7
F2xqXQ_mul	114660
F2xqXQ_pow	7
F2xqXQ_powers	7819
F2xqXQ_sqr	104426
F2xqXV_prod	7
F2xqX_F2xqXM_qmul	0
F2xqX_F2xqXQV_eval	14511
F2xqX_F2xqXQ_eval	122416
F2xqX_F2xq_mul	7021
F2xqX_F2xq_mul_to_monic	206549
F2xqX_addmulmul	0
F2xqX_disc	14
F2xqX_divrem	33299
F2xqX_divrem_Barrett	1244
F2xqX_divrem_Barrettspec	1244
F2xqX_divrem_basecase	546184
F2xqX_extgcd	14
F2xqX_extgcd_basecase	14
F2xqX_extgcd_halfgcd	0
F2xqX_gcd	170093
F2xqX_gcd_basecase	169729
F2xqX_get_red	220815
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	47
F2xqX_invBarrett_Newton	44
F2xqX_invBarrett_basecase	3
F2xqX_mul	155123
F2xqX_mulspec	3103
F2xqX_normalize	206563
F2xqX_powu	0
F2xqX_red	1006640
F2xqX_rem	751317
F2xqX_resultant	21
F2xqX_resultant_basecase	21
F2xqX_sqr	105490
F2xq_Artin_Schreier	212786
F2xq_autpow	19295
F2xq_autpow_mul	14662
F2xq_autpow_sqr	29361
F2xq_conjvec	7
F2xq_div	575592
F2xq_easylog	558510
F2xq_inv	2058455
F2xq_invsafe	2058462
F2xq_log	543492
F2xq_log_Coppersmith	14
F2xq_log_Coppersmith_d	91
F2xq_log_Coppersmith_rec	28
F2xq_log_Coppersmith_worker	2044
F2xq_log_find_rel	63
F2xq_log_from_rel	77
F2xq_log_index	14
F2xq_matrix_pow	235774
F2xq_mul	10049848
F2xq_order	378
F2xq_pow	2434126
F2xq_pow_init	14
F2xq_pow_table	5244
F2xq_powers	365421
F2xq_powu	49
F2xq_sqr	8601271
F2xq_sqrt	38692
F2xq_sqrt_fast	61358
F2xq_sqrtn	7021
F2xq_trace	458531
FlxC_to_F2xC	16457
FlxXC_to_F2xXC	497
FlxX_to_F2xX	1043
Flx_to_F2x	150528
Kronecker_to_F2xqX	158226
RgX_to_F2x	1400
Rg_to_F2xq	1165166
ZXX_to_F2xX	4893
ZX_to_F2x	3133683
Z_to_F2x	210454
_F2xqXQ_add	345583
_F2xqXQ_cmul	482454
_F2xqXQ_mul	114604
_F2xqXQ_one	376215
_F2xqXQ_red	352814
_F2xqXQ_sqr	33271
_F2xqXQ_zero	56
_F2xqX_mul	882
_F2xqX_sqr	0
_F2xq_add	1691759
_F2xq_cmul	2082373
_F2xq_equal0	973
_F2xq_inv	413
_F2xq_mul	2179078
_F2xq_neg	798
_F2xq_one	926768
_F2xq_pow	2390834
_F2xq_rand	9107
_F2xq_red	581953
_F2xq_rmul	13748
_F2xq_s	693
_F2xq_sqr	1207718
_F2xq_zero	259971
check_kernel	14
gener_F2xq	161
get_F2xqX_red	784616
get_F2xq_field	1659
int_to_F2x	102
matJ2_F2xXM	0
matid2_F2xXM	0
mkF2	27054
monomial_F2x	63
pol1_F2xX	447832
polx_F2xX	497
random_F2xqX	2807
rel_Coppersmith	147370
smallirred_F2x	14

Generated by: LCOV version 1.14