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.1 lcov report (development 28676-df828f1c94) Lines: 2200 2319 94.9 %
Date: 2023-08-26 07:54:43 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
RgV_nffix 28
rnfsteinitz 28
gen_if_principal 35
poldiscfactors 42
get_module 63
nfidealdet1 63
nfmodprinit0 70
nfmodprlift 77
rnfdiscf 77
compositum 91
rnfdedekind 91
Z_fac 182
QXQV_to_FpM 203
checkmodpr 210
nfreducemodpr 210
get_coprimes 273
nfmodpr 329
idealprimedec_degrees 364
fix_PE 476
ZpX_monic_factor 490
nfcompositum_lambda 497
ZpX_round4 770
rnfdisc_factored 805
expo_is_squarefree 812
nfbasis 938
triv_order 953
ZpX_monic_factor_squarefree 1071
RgX_to_algX 1533
nfX_to_monic 1547
update_fact 1997
rnfallbase 2093
get_d 2149
rnfjoinmodules 2176
p_is_prime 2245
compositum2 2827
fact_from_factors 3500
pr_factorback 3507
pr_factorback_scal 3507
get_modpr 3549
ffdegree 4151
rnfmaxord 4333
modpr_genFq 4361
nfX_sub 4382
rnfdedekind_i 4417
nfV_to_FqV 4584
nfM_to_FqM 5403
FpX_radical 5538
rnfjoinmodules_i 6348
idealprimedec_galois 6587
nfX_to_FqX 9709
FqM_to_nfM 9966
nf_pV_to_prV 9972
_msqr 11396
FqX_to_nfX 11549
safe_Z_pvalrem 11980
fill 12696
polcompositum0 12807
nfcompositum 13346
minval 15182
zk_to_Fq_init 18579
rnfeltid_powmod 21251
compositum_fix 26469
ideal_is1 26997
zkmodprinit 40658
indexpartial 44103
testc2 47946
redelt 47947
ZX_rescale_inv 59665
nfXQ_mul 61298
nfX_rem 61298
redelt_i 63367
nfX_mul 65680
nfdisc 66436
ZpX_sylvester_echelon 68262
testb2 68352
_sqr 70327
lift_to_zk 89901
diag_denom 96851
nfmaxord 100165
pol_min 116353
get_powers 157064
ZpX_disc_val 183678
init_norm 212654
get_LV 212671
primedec_end 212673
pradical 212674
fnz 214206
loop 238106
Zlx_gcd 245024
ZpX_gcd 253112
Decomp 253115
RgX_nffix 276308
update_phi 277491
compmod 286056
uniformizer 295304
get_gamma 302218
Fp_basis 305658
ei_msqr_mod 343382
get_g 355185
progress 393365
get_pr 409212
ZpM_hnfmodid 453898
maxord_i 454661
split_char 478990
idealprimedec_limit_norm 496034
is_uniformizer 505551
get_norm 505553
QpXV_denom 505651
get_partial_order_as_pols 505652
getprime 561208
dbasis 617171
vstar 621588
get_nu 640181
nfdiscfactors 644762
diag_denomval 684012
newtoncharpoly 698637
mul_intersect 699394
manage_cache 705150
mycaract 705266
newtonsums 705276
maxord_disc 711199
pow_ei_mod_p 738079
setPE 744881
dim1proj 746390
get_prid 748216
anti_uniformizer 773880
poldiscfactors_i 787705
set_disc 811333
get_maxord 811359
nfmaxord_check_args 811360
sqr_mod 822132
modprinit 833119
Rg_nffix 833657
ZpX_reduced_resultant_fast 932021
ZpX_reduced_resultant 990576
idealprimedec 1142381
Fq_to_nf 1463826
zx_z_div 1523852
maxord 1529433
ZX_Dedekind 1529476
Flx_checkdeflate 1591764
Flx_radical 1591795
QpX_remove_denom 1739016
idealprimedec_limit_f 2554883
primedec_aux 2561816
QpX_denom 2737177
ZpX_resultant_val 3242893
zk_to_Fq 3255794
ZpX_resultant_val_i 3287267
nf_to_Fq_init 3313492
modpr_TAU 3326387
to_ff_init 3332077
idealprimedec_kummer 3491156
update_den 3538479
ok_modpr 3870547
mk_pr 3947095
init_m 4174894
Zlx_sylvester_echelon 4462748
checkprid 8000876
nf_to_Fq 9174613
Rg_to_ff 9175116
checkprid_i 9286361

Generated by: LCOV version 1.14