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 - base2.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 2213 2337 94.7 %
Date: 2024-04-25 08:08:21 Functions: 168 172 97.7 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FqV_to_nfV 0
ZpX_primedec 0
errprime 0
rnfsimplifybasis 0
nfmodprinit 7
rnfhnfbasis 7
rnfisfree 7
rnfdet 14
FqX_non_root 21
rnfbasis 21
rnfsteinitz 28
gen_if_principal 35
poldiscfactors 42
RgV_nffix 49
get_module 63
nfidealdet1 63
nfmodprinit0 70
nfmodprlift 77
rnfdiscf 77
compositum 91
rnfdedekind 91
Z_fac 189
QXQV_to_FpM 203
checkmodpr 210
nfreducemodpr 210
get_coprimes 266
nfmodpr 329
idealprimedec_degrees 364
fix_PE 476
ZpX_monic_factor 490
nfcompositum_lambda 497
ZpX_round4 770
expo_is_squarefree 812
rnfdisc_factored 854
nfbasis 938
triv_order 1016
ZpX_monic_factor_squarefree 1071
RgX_to_algX 1631
nfX_to_monic 1645
update_fact 2090
rnfjoinmodules 2134
rnfallbase 2184
p_is_prime 2226
get_d 2240
compositum2 2828
pr_factorback 3535
pr_factorback_scal 3535
fact_from_factors 3584
ffdegree 4109
modpr_genFq 4326
rnfmaxord 4354
nfX_sub 4403
rnfdedekind_i 4438
nfM_to_FqM 5382
FpX_radical 5489
rnfjoinmodules_i 6292
idealprimedec_galois 6545
nfX_to_FqX 9751
FqM_to_nfM 9924
_msqr 11347
FqX_to_nfX 11549
safe_Z_pvalrem 12285
fill 12584
polcompositum0 12809
nfcompositum 13348
minval 15119
zk_to_Fq_init 18536
rnfeltid_powmod 21090
compositum_fix 26468
ideal_is1 26815
nf_pV_to_prV 38528
indexpartial 44065
redelt 48020
testc2 48020
ZX_rescale_inv 59521
nfXQ_mul 60745
nfX_rem 60745
redelt_i 63739
nfX_mul 65148
nfdisc 66428
testb2 66541
_sqr 69641
ZpX_sylvester_echelon 72926
lift_to_zk 91425
diag_denom 97321
nfmaxord 100433
pol_min 116868
get_modpr 137746
get_powers 158385
nfV_to_FqV 167403
zkmodprinit 174935
ZpX_disc_val 182384
init_norm 213333
pradical 213359
get_LV 213366
primedec_end 213366
fnz 215915
loop 236783
Zlx_gcd 245077
ZpX_gcd 253258
Decomp 253259
update_phi 274463
RgX_nffix 279454
compmod 284807
uniformizer 295525
get_gamma 299780
Fp_basis 305640
ei_msqr_mod 344178
get_g 352779
progress 391504
get_pr 409829
ZpM_hnfmodid 451324
maxord_i 452091
split_char 475494
get_norm 501819
is_uniformizer 501820
idealprimedec_limit_norm 504842
QpXV_denom 505941
get_partial_order_as_pols 505945
getprime 558309
dbasis 617183
vstar 618578
get_nu 635396
nfdiscfactors 644779
diag_denomval 684935
newtoncharpoly 692668
manage_cache 699112
mycaract 699180
newtonsums 699189
mul_intersect 699230
maxord_disc 711193
pow_ei_mod_p 735159
setPE 745147
poldiscfactors_i 787890
set_disc 811591
get_maxord 811627
nfmaxord_check_args 811630
sqr_mod 816576
Rg_nffix 842257
get_prid 918232
ZpX_reduced_resultant_fast 925993
anti_uniformizer 963835
ZpX_reduced_resultant 985785
dim1proj 1029297
modprinit 1157312
idealprimedec 1269897
zx_z_div 1525721
ZX_Dedekind 1531246
maxord 1531247
Flx_checkdeflate 1593630
Flx_radical 1593637
QpX_remove_denom 1728466
idealprimedec_limit_f 2692695
primedec_aux 2699595
QpX_denom 2724596
Fq_to_nf 3229346
ZpX_resultant_val 3440084
ZpX_resultant_val_i 3484244
nf_to_Fq_init 3508709
modpr_TAU 3521650
to_ff_init 3527263
update_den 3529903
idealprimedec_kummer 3790477
mk_pr 4245503
ok_modpr 4341215
init_m 4365993
Zlx_sylvester_echelon 4650423
zk_to_Fq 7098044
checkprid 10668000
checkprid_i 12233053
nf_to_Fq 15137181
Rg_to_ff 15137677

Generated by: LCOV version 1.14