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 29395-ef22f77854) Lines: 1757 1956 89.8 %
Date: 2024-06-15 09:03:40 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 119
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 567
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 2517
ffeltmap_i 2709
ZXQX_disc_all 3059
ZXQX_resultant_all 3122
ZXQX_resultant_bound 3125
ffnbirred 3178
RgX_is_FpXQX 3206
nfX_disc 3220
RgX_norml1_1 3255
ZXQX_resultant_bound_i 3433
ZXQ_charpoly_sqf 3492
ZXQ_minpoly_slice 3523
ZXQ_minpoly_worker 3523
ZXQX_resultant_slice 3901
ZXQX_resultant_worker 3901
get_Fq_field 4179
ffmap_i 4459
charact_res 4634
RgX_to_FpXQX 5014
FpXC_center 5271
ZM_init_CRT 5775
ZM_incremental_CRT 5801
FlxY_to_FlyX 6131
Flx_FlxY_resultant 6131
RgX_RgXY_ResBound 6562
char_update_int 6573
fpinit_check 7185
sqrN2 7409
FlxX_pseudorem 7527
Z_incremental_CRT 7616
ZXQX_resultant_prime 8672
_Fq_inv 9331
ZX_compositum_lambda 9712
ZX_compositum 9714
QXQ_charpoly 9723
ZX_ZXY_ResBound_1 10102
ZX_composedsum_i 10102
ZX_composedsum_worker 10367
ZX_composedsum_slice 10368
_Fq_s 13965
FqXY_eval 14623
Fq_powu 15050
QXQ_norm 18858
ZX_ZXY_resultant_LERS 21035
Flx_resultant_set_dglist 23195
ZX_resultant 25312
addii_abs 25586
characteristic 27335
ffinit_fact_Flx 28860
ZX_init_CRT 31647
ZX_norml1_1 31705
flinit 31727
QXQ_div 31800
FqX_translate 33880
FpXQX_normalize 38167
_Fq_equal0 38388
FqV_roots_to_pol 40395
ZX_ZXY_rnfequation_lambda 40516
ZX_ZXY_rnfequation 41453
Fq_Fp_mul 43965
RgX_to_FqX 49186
init_Flxq_i 52112
RgM_to_FqM 52325
init_Fq 53794
init_Fq_i 54361
FqX_Fq_add 55832
ZX_ZXY_resultant_all 58828
Rg_is_FpXQ 59304
ZX_ZXY_resultant 60087
ZX_ZXY_resultant_slice 69385
ZX_ZXY_resultant_worker 69385
Fq_halve 83614
Fq_inv 89339
FqXY_evalx 99679
RgM_to_Flm 114124
QXQ_div_slice 117332
QXQ_div_worker 117332
ZXQ_charpoly 120897
swap_vars 126097
RgM_to_FpM 133812
ZX_ZXY_ResBound 140553
QXQ_inv 145197
ZX_incremental_CRT_raw 147430
flinit_check 147914
FqX_Fq_mul_to_monic 149023
log2N2 150654
Fq_sqrtn 170723
ZX_ZXY_resultant_prime 173712
charact 175238
Flx_FlxY_resultant_polint 177324
FqV_red 192424
QXQ_inv_slice 210246
QXQ_inv_worker 210246
RgC_to_FqC 219128
_Fq_mul 242795
ZX_norml1 272464
_Fq_red 302701
_Fq_neg 315028
pol_x_powers 324065
RgV_to_Flv 342814
Fq_div 343588
_Fq_add 362523
QXQ_sqr 398427
FqX_eval 398830
Fq_mulu 492791
Fq_sqr 613170
Fq_pow 795140
QXQ_mul 829121
FpXV_FpC_mul 851487
RgC_to_FpC 933038
Fq_neg 1078256
ZX_discbound 1128630
ZX_disc 1131677
ZX_disc_all 1193336
gen_crt 1241498
Rg_to_FpXQ 1291496
ZX_resultant_all 1312860
ZX_resultant_slice 1469307
ZX_resultant_worker 1469324
monomialcopy 1863380
Fq_sqrt 1894003
gen_inccrt 2016368
Flx_resultant_all 2084762
FlxY_evalx_drop 2108017
Flx_FlxY_eval_resultant 2269936
RgX_to_FpX 3552086
ZX_resultant_prime 3757173
Fl_chinese_coprime 5113191
gen_inccrt_i 7657872
primelist 8160460
Fq_sub 8349634
Fq_mul 8377886
monomial 10495031
Fq_add 11608989
RgX_is_FpX 27875659
Rg_to_Fp 36903013
Rg_is_Fp 69084097

Generated by: LCOV version 1.16