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.18.1 lcov report (development 29877-9124a6ce27) Lines: 1308 1426 91.7 % Date: 2025-01-18 09:08:44 Functions: 114 124 91.9 % Legend: Lines: hit not hit

Function Name	Hit count
F2x_degfact	0
Flx_ddf	0
Flx_ddf_pre	0
Flx_nbfact_Frobenius	0
FpX_ddf_i	0
FpX_edf_simple	0
FpX_is_totally_split	0
FpX_isirred_Cantor	0
FpX_nbfact	0
FpX_nbfact_Frobenius	0
F2x_ddf	7
F2x_ddf_to_ddf2	7
FpX_ddf	7
FpX_is_irred_2	7
ddf_to_ddf2	7
F2x_is_irred_2	14
Flx_oneroot_split	14
FpX_degfact_2	14
FpX_simplefact_Cantor	14
ddf_to_ddf2_i	14
FpX_quad_factortype	21
Flx_is_irred_2	56
prime_fact	70
Flx_oneroot_mod_2	91
FpX_is_irred	112
FpX_cubic_root	119
good_root_of_unity	154
FpX_ispower	168
F2x_is_irred	238
FpX_edf	436
all_roots_mod_p	600
FpX_factor_Cantor	905
FpX_factor_Shoup	1005
FpX_ddf_Shoup	1019
Flx_is_irred	1057
FpX_edf_rec	1072
Flx_isirred_Cantor	1078
FpX_oneroot_split	1092
Flx_roots	1372
FpX_factor_2	1566
FpX_factor_deg2	1587
FpX_factor_Yun	1695
Flx_Xn1	2076
Flx_Xnm1	2186
Flx_oneroot	2492
FpX_factor_i	2506
Flx_ispower	3451
FpX_ddf_degree	4256
FpX_oneroot_i	5169
FpX_roots_i	8240
FpX_otherroot	9993
FpX_quad_root	14456
F2x_factor	15059
F2x_degfact_2	19682
F2xq_frobtrace	20079
F2x_Berlekamp_ker	23308
F2x_edf_simple	29896
split_nonsquares	30305
split_squares	30305
F2x_Berlekamp_i	35385
F2x_split_Berlekamp	35815
Flx_oneroot_split_pre	38776
FpX_degfact	47947
Flx_is_totally_split_i	81346
Flx_is_totally_split	81353
Flx_root_mod_2	93129
FpX_nbroots	138335
FpX_roots_mult	221697
FpX_oneroot	233884
FpX_split_part	234414
F2x_Cantor_i	301249
F2x_factor_Cantor	301249
F2x_factor_squarefree	336619
Flx_factor_squarefree	341118
FpX_factor_squarefree	341852
trivial_fact	350010
F2x_factor_Shoup	352365
F2x_ddf_simple	352366
Flx_edf_simple	409687
Flx_cubic_root	416501
split_todo	416690
FpX_roots	426251
F2x_quad_factortype	452122
split_done	466491
split_add_done	506359
ZX_rootmod_init	660135
Flx_nbfact_pre	660614
Flx_nbfact	660615
Flx_nbfact_Frobenius_pre	660619
Flx_factor	682212
Flx_edf	717866
F2x_factor_2	1166901
F2x_factor_deg2	1186600
Flx_edf_rec	1357142
Flx_nbfact_by_degree	1453136
F2x_factor_i	1523238
Flx_factor_Cantor	1582817
Flx_factor_Shoup	1654292
FE_concat	1884970
Flx_factor_2	1934704
ddf_to_nbfact	2316566
Flx_quad_factortype	2490502
Flx_degfact_2	2516580
Flx_oneroot_pre	4116953
Flx_oneroot_pre_i	4155663
FpX_factor	4301593
ZX_factmod_init	4349658
Flx_nbroots	4388395
Flx_factor_deg2	4451234
split_Flx_cut_out_roots	5067447
split_init	5076580
Flx_simplefact_Cantor	5317188
vddf_to_simplefact	5318796
split_add	5443291
split_moveto_done	5444481
Flx_factor_squarefree_pre	7244027
Flx_degfact	7830482
Flx_ddf_Shoup	9165405
Flx_factor_i	11426460
Flx_otherroot	14756754
cmpGuGu	16303475
Flx_roots_pre	24675560
Flx_quad_root	24960002
Fl_disc_bc	27444399

Generated by: LCOV version 1.16