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 - polarit2.c (source / functions)		Hit	Total	Coverage
Test:	PARI/GP v2.18.1 lcov report (development 30145-32f0acf4da)	Lines:	2268	2509	90.4 %
Date:	2025-04-18 09:18:41	Functions:	213	223	95.5 %
Legend:	Lines: hit not hit


Function Name	Hit count
Q_mul_to_int	0
RgXQ_sqr_FpXQXQ	0
RgX_chinese_coprime	0
RgX_extgcd_simple	0
RgX_gcd_simple	0
RgX_halfgcd	0
RgX_halfgcd_all_FpXQX	0
pol_approx0	0
s_centermod	0
subresext	0
RgXQ_inv_FpXQXQ	7
RgX_extgcd_FpXQX	7
RgX_gcd_FpXQX	7
reduceddiscsmith	7
roots_to_pol_FqV	7
scalar_res	7
sylvestermatrix	7
FqV_factorback	14
RgXQ_charpoly_FpXQ	14
RgXQ_sqr_FpXQ	14
RgX_halfgcd_all_i	14
roots_to_pol_FpV	14
CX_factor	21
RgX_resultant_FpXQX	21
RX_factor	28
RgX_disc_FpXQX	28
RgX_halfgcd_all_FpX	28
RgX_resultant_FpX	28
newtonpoly	28
resultant2	28
Qi_factor_p	42
RgX_disc_FpX	42
Qi_factor	49
Qi_primpart	49
polfromroots	56
RgX_halfgcd_all	63
RgX_halfgcd_all_fast	63
zero_bezout	63
Qi_primpart_try	70
RgX_extresultant_FpX	77
Qi_cmp	91
ghalfgcd	91
RgX_fix_quadratic	98
RgXQ_ratlift	112
random_FpX_monic	112
scalar_bezout	112
caract_const	126
RgX_extgcd_FpX	133
primpart	161
RgV_type2	203
gc_gcdext	217
rnfcharpoly	224
RgXQ_factor	252
RgXQ_factor_i	252
FE_matconcat	259
RgXY_factor	259
RgXY_squff	259
RgXY_factor_squarefree	273
RgX_Frobenius_deflate	343
fix_pol	343
RgXQ_mul_FpXQXQ	385
gen_cmp_RgXY	385
sturmpart	385
Qi_gcd	399
RgX_disc_i	399
quadratic_to_RgX	420
gbezout	427
gcdext0	427
ok_bloc	434
zero_extgcd	434
Zi_rem	448
Qi_normal	469
polresultant0	504
R_to_Q_down	525
R_to_Q_up	525
RgX_gcd_FpXk	595
RgX_sturmpart	763
RgXQ_inv_i	848
Zi_mul3	896
sturmpart_i	1148
c_zero_gcd	1386
padic_gcd	1407
polresultantext	1463
RgX_extresultant_fast	1568
polresultantext0	1575
isinexactall	2198
RgX_gcd_ZXQX	2289
subresext_i	2346
FlxqV_factorback	2499
cont_gcd_gen	2635
glcm0	2898
RgX_gcd_QXQX	3150
triv_cont_gcd	3234
c_is_rational	3269
glcm	3283
ZV_lcm	3575
fix_lcm	3680
gcdmonome	3717
must_negate	4368
RgX_extgcd_fast	4529
poldisc0	4714
RgX_extgcd	4970
gcd3	6005
RgX_cmbf	6475
Q_factor_limit	9699
vecprod	10003
cont_gcd_rfrac	10115
RgX_liftred	10878
RgX_is_irred	11165
RgX_is_irred_i	11165
polisirreducible	11165
inexact	11424
subres_step	11790
RgXQ_inv_FpXQ	12054
RgXQ_charpoly	12980
RgXQ_charpoly_fast	12980
ZX_content	13146
RgX_factor	13832
row_Q_primpart	17738
Q_factor	21578
ginvmod	35063
RgX_rescale_to_int	37478
factor0	59375
factor	62343
factor_domain	63036
roots_from_deg1	63895
Flv_factorback	108623
RgX_gcd_FpX	111909
polsym	113607
vec_Q_primpart	116491
RgX_disc	124140
RgX_disc_fast	124140
polsym_gen	131023
RgXQ_inv	135069
RgXQ_inv_fast	135069
deg1_from_roots	156896
RgX_resultant_sylvester	169893
RgX_sylvestermatrix	169893
syl_RgM	169900
Fppow	244383
roots_to_pol_r1	264463
RgXQ_mul_FpXQ	274309
syl_RgC	371755
RgXQ_sqr	458338
RgXQ_sqr_fast	458338
Q_div_to_int	486325
Lazard	629322
RgM_type	687430
roots_to_pol_fast	774511
roots_to_pol	774585
RgV_type	774595
Lazard2	834537
RgX_neg_i	834538
nextSousResultant	834538
RgXQ_charpoly_i	977298
normalized_to_RgX	1038937
RgX_resultant_all	1066797
resultant	1151659
resultant_fast	1151659
init_resultant	1151687
RgX_pseudodenom	1249012
factorback	1417189
RgXQ_mul	1527535
RgXQ_mul_fast	1527535
RgX_type3	1527535
normalized_mul	1719019
Q_content	1844171
cont_gcd_pol	1912226
cont_gcd_pol_i	1912226
cont_gcd	1924955
Z_content_v	2282217
reductum_lg	2446454
RgX_Rg_mul_i	2451553
RgX_type	2546499
primitive_part	2800820
Q_denom	3188008
RgM_rescale_to_int	4608169
ggcd0	5203623
RgX_Rg_type	6063656
RgM_type2	7621390
zero_gcd	8258245
FpV_factorback	8519886
zero_gcd2	8879731
Q_primpart	9493126
Z_content	9881709
Q_divq_to_int	10316880
RgX_gcd	10414600
RgX_gcd_fast	10414600
centermod	10959752
Q_divmuli_to_int	11576555
RgX_type_decode	11719146
gcdiq	12569662
centermod_i	14472753
factorback2	24951665
gcdqq	27545191
ggcd	27700728
gdivexact	27765303
Fpmul	28781850
rescale_init	29586115
RgM_RgC_type	32366150
gen_factorback	33804016
choosesubtype	38135314
RgM_settype	48296037
Q_denom_v	53793461
mul	54631714
Q_remove_denom	55609505
content	72467649
powi	79122426
centermodii	87853211
Q_primitive_part	88426741
Q_muli_to_int	141443576
RgX_type2	149292965
RgX_type_is_composite	163889076
Rg_type	171944252
Q_divi_to_int	172179881
Q_content_v	179080669
Q_denom_safe	245878317
RgC_settype	269305348
choosetype	372277144
RgX_settype	664458380
Q_gcd	1007300470
Q_content_safe	1276472903
settype	3813660674

Generated by: LCOV version 1.16