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 - FpX_factor.c (source / functions) Hit Total Coverage Test: PARI/GP v2.16.1 lcov report (development 28676-df828f1c94) Lines: 1307 1425 91.7 % Date: 2023-08-26 07:54:43 Functions: 114 124 91.9 % Legend: Lines: hit not hit

Function Name	Hit count
F2x_Berlekamp_i	35259
F2x_Berlekamp_ker	23291
F2x_Cantor_i	245275
F2x_ddf	7
F2x_ddf_simple	289287
F2x_ddf_to_ddf2	7
F2x_degfact	0
F2x_degfact_2	19620
F2x_edf_simple	31496
F2x_factor	15283
F2x_factor_2	1167882
F2x_factor_Cantor	245275
F2x_factor_Shoup	289286
F2x_factor_deg2	1187516
F2x_factor_i	1467995
F2x_factor_squarefree	280521
F2x_is_irred	238
F2x_is_irred_2	14
F2x_quad_factortype	452108
F2x_split_Berlekamp	35899
F2xq_frobtrace	21008
FE_concat	1686270
Fl_disc_bc	27373133
Flx_Xn1	2294
Flx_Xnm1	2402
Flx_cubic_root	200037
Flx_ddf	0
Flx_ddf_Shoup	8993878
Flx_ddf_pre	0
Flx_degfact	7785457
Flx_degfact_2	2500870
Flx_edf	714585
Flx_edf_rec	1353187
Flx_edf_simple	405824
Flx_factor	678981
Flx_factor_2	1920919
Flx_factor_Cantor	1440177
Flx_factor_Shoup	1506199
Flx_factor_deg2	4421612
Flx_factor_i	11240182
Flx_factor_squarefree	335504
Flx_factor_squarefree_pre	7082347
Flx_is_irred	1057
Flx_is_irred_2	56
Flx_is_totally_split	80584
Flx_is_totally_split_i	80577
Flx_isirred_Cantor	1078
Flx_ispower	3451
Flx_nbfact	652339
Flx_nbfact_Frobenius	0
Flx_nbfact_Frobenius_pre	652345
Flx_nbfact_by_degree	1448565
Flx_nbfact_pre	652339
Flx_nbroots	3010322
Flx_oneroot	2478
Flx_oneroot_mod_2	91
Flx_oneroot_pre	3888371
Flx_oneroot_pre_i	3925764
Flx_oneroot_split	14
Flx_oneroot_split_pre	37652
Flx_otherroot	14701224
Flx_quad_factortype	2476795
Flx_quad_root	24891210
Flx_root_mod_2	92533
Flx_roots	1372
Flx_roots_pre	24644832
Flx_simplefact_Cantor	5305081
FpX_cubic_root	125
FpX_ddf	7
FpX_ddf_Shoup	894
FpX_ddf_degree	4256
FpX_ddf_i	0
FpX_degfact	63301
FpX_degfact_2	14
FpX_edf	382
FpX_edf_rec	908
FpX_edf_simple	0
FpX_factor	4092219
FpX_factor_2	838
FpX_factor_Cantor	806
FpX_factor_Shoup	880
FpX_factor_Yun	1572
FpX_factor_deg2	859
FpX_factor_i	1679
FpX_factor_squarefree	336214
FpX_is_irred	112
FpX_is_irred_2	7
FpX_is_totally_split	0
FpX_isirred_Cantor	0
FpX_ispower	168
FpX_nbfact	0
FpX_nbfact_Frobenius	0
FpX_nbroots	99513
FpX_oneroot	13076
FpX_oneroot_i	5169
FpX_oneroot_split	1092
FpX_otherroot	9924
FpX_quad_factortype	21
FpX_quad_root	14331
FpX_roots	412443
FpX_roots_i	8240
FpX_roots_mult	219441
FpX_simplefact_Cantor	14
FpX_split_part	189932
ZX_factmod_init	4155641
ZX_rootmod_init	425519
all_roots_mod_p	588
cmpGuGu	16145049
ddf_to_ddf2	7
ddf_to_ddf2_i	14
ddf_to_nbfact	2160155
good_root_of_unity	154
prime_fact	70
split_Flx_cut_out_roots	5060266
split_add	5431166
split_add_done	500590
split_done	461453
split_init	5068695
split_moveto_done	5433147
split_nonsquares	30135
split_squares	30134
split_todo	411572
trivial_fact	166257
vddf_to_simplefact	5306785

Generated by: LCOV version 1.14