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:

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 - polarit3.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 1747 1946 89.8 %
Date: 2024-03-29 08:06:26 Functions: 185 199 93.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FpX_composedprod 0
FqC_Fq_mul 0
FqC_add 0
FqC_sub 0
FqXQ_matrix_pow 0
FqXQ_powers 0
Fq_invsafe 0
Fq_neg_inv 0
QXQ_intnorm 0
RgM_is_FpM 0
RgV_is_FpV 0
ZX_incremental_CRT 0
ffinit_rand 0
init_Flxq 0
QX_disc 7
FpX_FpXY_resultant 15
fffrobenius 42
QX_resultant 56
_ZXQ_powu 56
FpX_composedsum 79
_FpX_composedsum 79
err_compo 84
ffextend 91
FqC_FqV_mul 105
nfX_resultant 105
ffinvmap 133
RgV_to_FpV 140
ffnbirred0 140
ffembed 189
to_ZX 217
ffeltmaprel_i 252
ffmaprel 252
ffmaprel_i 252
FpX_translate 266
FpX_FpXY_eval_resultant 284
ZXQX_composedsum 308
ZXQX_composedsum_bound 308
nf_direct_compositum 308
residual_characteristic 329
ZXQX_composedsum_slice 352
ZXQX_composedsum_worker 352
Z_init_CRT 378
ZX_composedsum 385
ffcompomap 420
ffinit 553
ffinit_Artin_Schreier_2 601
ffsumnbirred 616
ZXM_init_CRT 623
ZXM_incremental_CRT 653
RgX_RgXY_ResBound_1 847
ffinit_Artin_Schreier 958
ffmap 1036
FqX_Fq_sub 1094
char_update_prime 1239
ffpartmapimage 1260
FpXV_composedsum 1574
ffinit_fact 1574
fpinit 1653
ZXQ_minpoly 1701
FpXM_center 1730
FpXY_FpXQ_evaly 2072
checkmap 2261
FlxX_resultant 2515
ffeltmap_i 2709
ZXQX_disc_all 3017
ZXQX_resultant_all 3066
ZXQX_resultant_bound 3069
ffnbirred 3178
nfX_disc 3178
RgX_is_FpXQX 3206
RgX_norml1_1 3255
ZXQX_resultant_bound_i 3377
ZXQ_charpoly_sqf 3476
ZXQ_minpoly_slice 3523
ZXQ_minpoly_worker 3523
ZM_init_CRT 3633
ZXQX_resultant_slice 3842
ZXQX_resultant_worker 3842
get_Fq_field 4179
ffmap_i 4459
charact_res 4634
RgX_to_FpXQX 5014
FpXC_center 5271
ZM_incremental_CRT 5801
FlxY_to_FlyX 6132
Flx_FlxY_resultant 6132
RgX_RgXY_ResBound 6380
char_update_int 6573
fpinit_check 7185
sqrN2 7227
FlxX_pseudorem 7510
Z_incremental_CRT 7616
ZXQX_resultant_prime 8586
_Fq_inv 9331
ZX_compositum_lambda 9720
ZX_compositum 9721
QXQ_charpoly 9723
ZX_ZXY_ResBound_1 10105
ZX_composedsum_i 10106
ZX_composedsum_slice 10371
ZX_composedsum_worker 10371
_Fq_s 13965
FqXY_eval 14623
Fq_powu 15050
characteristic 15491
QXQ_norm 18858
ZX_ZXY_resultant_LERS 20992
Flx_resultant_set_dglist 23160
ZX_resultant 25312
addii_abs 25587
ffinit_fact_Flx 28859
ZX_init_CRT 31542
ZX_norml1_1 31721
flinit 31727
QXQ_div 31758
FqX_translate 33880
FpXQX_normalize 38146
_Fq_equal0 38388
FqV_roots_to_pol 40466
ZX_ZXY_rnfequation_lambda 40488
ZX_ZXY_rnfequation 41409
Fq_Fp_mul 43965
RgX_to_FqX 48741
init_Flxq_i 52104
RgM_to_FqM 52325
init_Fq 53793
init_Fq_i 54346
FqX_Fq_add 55832
ZX_ZXY_resultant_all 58757
Rg_is_FpXQ 59304
ZX_ZXY_resultant 60043
ZX_ZXY_resultant_slice 69333
ZX_ZXY_resultant_worker 69333
Fq_halve 83614
Fq_inv 89324
FqXY_evalx 99679
RgM_to_Flm 114124
QXQ_div_slice 117202
QXQ_div_worker 117202
ZXQ_charpoly 120788
swap_vars 125935
RgM_to_FpM 133805
QXQ_inv 144801
ZX_incremental_CRT_raw 147348
flinit_check 147913
FqX_Fq_mul_to_monic 149023
charact 163394
Fq_sqrtn 170723
ZX_ZXY_resultant_prime 173517
Flx_FlxY_resultant_polint 177133
ZX_ZXY_ResBound 177791
log2N2 187899
FqV_red 190563
QXQ_inv_slice 209066
QXQ_inv_worker 209066
RgC_to_FqC 219128
_Fq_mul 242795
ZX_norml1 272243
_Fq_red 302701
_Fq_neg 315028
pol_x_powers 324801
RgV_to_Flv 342814
Fq_div 343588
_Fq_add 362523
QXQ_sqr 397861
FqX_eval 398816
Fq_mulu 492797
Fq_sqr 613155
Fq_pow 792529
QXQ_mul 825736
FpXV_FpC_mul 851487
RgC_to_FpC 933010
Fq_neg 1071679
ZX_discbound 1127807
ZX_disc 1130850
ZX_disc_all 1192561
Rg_to_FpXQ 1291496
ZX_resultant_all 1298342
gen_crt 1391159
ZX_resultant_slice 1628661
ZX_resultant_worker 1628712
monomialcopy 1863387
Fq_sqrt 1894003
Flx_resultant_all 2083786
FlxY_evalx_drop 2107102
gen_inccrt 2166729
Flx_FlxY_eval_resultant 2268307
RgX_to_FpX 3552023
ZX_resultant_prime 3966398
Fl_chinese_coprime 5112869
gen_inccrt_i 7793540
primelist 8307637
Fq_sub 8349764
Fq_mul 8377824
monomial 10445035
Fq_add 11608908
RgX_is_FpX 27593467
Rg_to_Fp 35139844
Rg_is_Fp 68808252

Generated by: LCOV version 1.14