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 - base4.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.18.1 lcov report (development 30387-12623f1693) Lines: 1696 1845 91.9 %
Date: 2025-07-11 09:22:46 Functions: 170 185 91.9 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
Fl_invgen 5895599
Q_nffactor 28490
Q_to_famat 197116
RM_round_maxrank 98077
ZM_famat_limit 568160
ZV_cba 28
ZV_cba_extend 49
Z_cba 413007
Z_cba_rec 3766441
Z_dcba_rec 0
Z_ppgle 0
Z_ppio 532903
Z_ppo 18261821
Z_to_famat 376308
_idealaddtoone 803351
_idealmulred 28571
_idealsqrred 35651
_mul 11364
_sqr 35651
addmul_mat 66732
append 151940
chk_vdir 21
err_divexact 7
ext_inv 20374
ext_mul 60732
ext_pow 0
ext_sqr 33873
factorbackprime 75591
famatV_factorback 13765
famatV_zv_factorback 56272
famat_Z_gcd 0
famat_add 158575
famat_div 200130
famat_div_shallow 10304
famat_idealfactor 0
famat_inv 199313
famat_inv_shallow 26945
famat_makecoprime 2218692
famat_mul 447378
famat_mul_shallow 224851
famat_mulpow_shallow 88237
famat_mulpows_shallow 147572
famat_pow 60642
famat_pow_shallow 61964
famat_pows_shallow 151997
famat_reduce 304104
famat_remove_trivial 66930
famat_sqr 22925
famat_sub 20931
famat_to_Fp_coprime 693
famat_to_nf 0
famat_to_nf_moddivisor 18606
famatsmall_reduce 188307
get_random_a 117651
gpidealfactor 189
gpidealval 7119
hnf_QC_QC 7
hnf_Q_Q 21
hnf_Q_QC 77
hnf_Z_QC 70
hnf_Z_ZC 77
idealHNF_Z_factor 0
idealHNF_Z_factor_i 293963
idealHNF_factor 240089
idealHNF_factor_i 293964
idealHNF_inv 69849
idealHNF_inv_Z 211869
idealHNF_mul 473254
idealHNF_mul_two 970533
idealHNF_norm_pval 4100962
idealHNF_val 4238523
idealadd 83529
idealaddmultoone 35
idealaddtoone 98
idealaddtoone0 70
idealaddtoone_i 17633
idealaddtoone_raw 785720
idealappr 14
idealappr0 14
idealapprfact 0
idealapprfact_i 54096
idealcoprime 84
idealcoprimefact 37190
idealdiv 39716
idealdiv0 56
idealdivexact 5214
idealdivpowprime 13007
idealdown 3031
idealfactor 268271
idealfactor_limit 268699
idealfactor_partial 25515
idealhnf 665
idealhnf0 413
idealhnf_principal 1389562
idealhnf_shallow 1853713
idealhnf_two 802132
idealintersect 21
idealinv 115778
idealismaximal 77
idealismaximal_i 77
idealismaximal_int 42
idealismaximal_mat 21
idealispower 3899
idealmin 7
idealmul 511773
idealmul0 70
idealmul_aux 511773
idealmulelt 266235
idealmulpowprime 825065
idealmulred 17207
idealnorm 105161
idealnumden 389712
idealpow 941499
idealpow0 2499
idealpow_aux 941500
idealpowprime 1305563
idealpowred 80179
idealpows 313255
idealprod 1064
idealprodprime 666
idealprodval 1917
idealpseudomin 142399
idealpseudomin_nonscalar 0
idealpseudominvec 1250410
idealpseudored 1342318
idealred0 138530
idealred_elt 13389
idealredmodpower 59184
idealredmodpower_i 118355
idealsqr 39137
idealsqr_aux 39137
idealsqrprime 317315
idealsqrtn_int 7742
idealtwoelt 97565
idealtwoelt0 2485
idealtwoelt2 42
idealtyp 16215258
idealval 9476475
in_ideal 28
isideal 91
lcmuu 1636828
make_integral 10920
mat_ideal_two_elt 250498
mat_ideal_two_elt2 21
matreduce 63
nfV_eltembed 84
nfV_idealhnf 84
nf_coprime_part 126
nf_get_Gtwist 138537
nf_get_Gtwist1 12597
nf_remove_denom_p 4364701
nf_to_Fp_coprime 119854
nfdivmodpr 0
nfkermodpr 0
nfmulmodpr 7
nfpowmodpr 0
nfsolvemodpr 0
nfweilheight 84
nfweilheight_i 84
not_in_ideal 14
ok_elt 224997
p_makecoprime 94896
prV_e_muls 28507
prV_lcm_capZ 80934
prV_primes 66234
pr_hnf 3798559
pr_inv 17828
pr_inv_p 38478
pr_uniformizer 58449
ramified_root 7735
ramified_root_simple 7
sunits_makecoprime 98
to_Fp_coprime 123032
to_famat 0
to_famat_shallow 2765795
trivial_merge 28
twistG 12639
u_ppo 54296043
vec_mulid 91
vecdiv 903
vecinv 826
vecmul 15992930
vecpow 0
vecsqr 185983
zk_pvalrem 4318895

Generated by: LCOV version 1.16