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.1 lcov report (development 28880-3b5364847c) Lines: 1746 1945 89.8 %
Date: 2023-12-01 07:53:15 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
ffsumnbirred 616
ZXM_init_CRT 623
ffinit_Artin_Schreier_2 623
ZXM_incremental_CRT 653
RgX_RgXY_ResBound_1 847
ffinit_Artin_Schreier 980
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 2621
ffeltmap_i 2709
ZXQX_disc_all 2989
ZXQX_resultant_all 3094
ZXQX_resultant_bound 3097
nfX_disc 3150
ffnbirred 3178
RgX_is_FpXQX 3206
RgX_norml1_1 3255
ZXQX_resultant_bound_i 3405
ZXQ_charpoly_sqf 3476
ZXQ_minpoly_slice 3523
ZXQ_minpoly_worker 3523
ZM_init_CRT 3633
ZXQX_resultant_slice 3814
ZXQX_resultant_worker 3814
get_Fq_field 4179
ffmap_i 4459
charact_res 4634
RgX_to_FpXQX 5014
FpXC_center 5271
ZM_incremental_CRT 5801
FlxY_to_FlyX 6243
Flx_FlxY_resultant 6243
RgX_RgXY_ResBound 6520
char_update_int 6573
fpinit_check 7185
sqrN2 7367
Z_incremental_CRT 7616
FlxX_pseudorem 7843
ZXQX_resultant_prime 8557
_Fq_inv 9331
ZX_compositum_lambda 9717
ZX_compositum 9719
QXQ_charpoly 9723
ZX_ZXY_ResBound_1 10105
ZX_composedsum_i 10105
ZX_composedsum_worker 10368
ZX_composedsum_slice 10369
_Fq_s 13965
FqXY_eval 14623
Fq_powu 15050
characteristic 15491
QXQ_norm 18858
ZX_ZXY_resultant_LERS 20993
Flx_resultant_set_dglist 23160
ZX_resultant 25312
addii_abs 25591
ffinit_fact_Flx 28880
ZX_init_CRT 31541
ZX_norml1_1 31708
flinit 31727
QXQ_div 31758
FqX_translate 33880
QXQ_inv 38003
FpXQX_normalize 38144
_Fq_equal0 38388
Fq_Fp_mul 39037
FqV_roots_to_pol 40472
ZX_ZXY_rnfequation_lambda 40488
ZX_ZXY_rnfequation 41409
RgX_to_FqX 48741
init_Flxq_i 52125
RgM_to_FqM 52325
init_Fq 53814
init_Fq_i 54367
FqX_Fq_add 55832
ZX_ZXY_resultant_all 58757
Rg_is_FpXQ 59304
ZX_ZXY_resultant 60043
Fq_sqrtn 61670
ZX_ZXY_resultant_slice 69333
ZX_ZXY_resultant_worker 69333
Fq_halve 83614
Fq_inv 89325
QXQ_sqr 93204
FqXY_evalx 99679
QXQ_inv_slice 102260
QXQ_inv_worker 102260
RgM_to_Flm 114124
QXQ_div_slice 117202
QXQ_div_worker 117202
ZXQ_charpoly 120744
swap_vars 125937
RgM_to_FpM 133805
ZX_incremental_CRT_raw 147348
flinit_check 147934
FqX_Fq_mul_to_monic 149023
FqV_red 155439
charact 163394
ZX_ZXY_resultant_prime 173515
Flx_FlxY_resultant_polint 177132
ZX_ZXY_ResBound 177606
log2N2 187707
RgC_to_FqC 219128
_Fq_mul 242795
ZX_norml1 272263
RgV_to_Flv 285890
_Fq_red 302701
Fq_div 308357
_Fq_neg 315028
pol_x_powers 324786
_Fq_add 362523
Fq_sqr 369591
FqX_eval 398815
Fq_mulu 492755
QXQ_mul 559715
Fq_pow 776999
Fq_sqrt 780730
FpXV_FpC_mul 851487
Fq_neg 891401
RgC_to_FpC 933010
ZX_discbound 1127703
ZX_disc 1130715
ZX_disc_all 1192675
Rg_to_FpXQ 1291496
ZX_resultant_all 1298296
gen_crt 1390963
ZX_resultant_slice 1628570
ZX_resultant_worker 1628597
monomialcopy 1863380
Flx_resultant_all 2083100
FlxY_evalx_drop 2106662
gen_inccrt 2154415
Flx_FlxY_eval_resultant 2268424
RgX_to_FpX 3552023
ZX_resultant_prime 3966353
Fl_chinese_coprime 5112862
gen_inccrt_i 7517933
Fq_mul 8006946
primelist 8031553
Fq_sub 8336593
monomial 10042696
Fq_add 11010556
RgX_is_FpX 24823990
Rg_to_Fp 33999100
Rg_is_Fp 66037281

Generated by: LCOV version 1.14