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) Coverage Total Hit
Test: PARI/GP v2.18.1 lcov report (development 31042-0fbe168e69) Lines: 91.8 % 1852 1701
Test Date: 2026-07-23 17:04:59 Functions: 92.0 % 187 172
Legend: Lines:     hit not hit

Function Name Sort by function name Hit count Sort by function hit count
Fl_invgen 5916703
Q_nffactor 28532
Q_to_famat 197087
RM_round_maxrank 98530
ZM_famat_limit 568151
ZV_cba 28
ZV_cba_extend 49
Z_cba 757372
Z_cba_rec 6828640
Z_dcba_rec 0
Z_ppgle 0
Z_ppio 986167
Z_ppo 19280526
Z_to_famat 376291
_idealaddtoone 803264
_idealmulred 28605
_idealsqrred 35759
_mul 11384
_sqr 35759
addmul_mat 66489
append 155935
chk_vdir 21
err_divexact 7
ext_inv 20406
ext_mul 61060
ext_pow 0
ext_sqr 33946
factorbackprime 75626
famatV_factorback 13814
famatV_zv_factorback 56273
famat_Z_gcd 0
famat_add 162630
famat_div 200121
famat_div_shallow 10311
famat_idealfactor 0
famat_inv 199357
famat_inv_shallow 26947
famat_makecoprime 2220969
famat_mul 451454
famat_mul_shallow 224916
famat_mulpow_shallow 88348
famat_mulpows_shallow 147672
famat_pow 60642
famat_pow_shallow 62033
famat_pows_shallow 151899
famat_reduce 308206
famat_remove_trivial 67007
famat_sqr 22984
famat_sub 20910
famat_to_Fp_coprime 665
famat_to_nf 0
famat_to_nf_moddivisor 18606
famatsmall_reduce 185896
get_random_a 118265
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 294023
idealHNF_factor 240113
idealHNF_factor_i 294023
idealHNF_inv 69867
idealHNF_inv_Z 212264
idealHNF_mul 474529
idealHNF_mul_two 975295
idealHNF_norm_pval 4247956
idealHNF_val 4385184
idealadd 83578
idealaddmultoone 35
idealaddtoone 98
idealaddtoone0 70
idealaddtoone_i 17633
idealaddtoone_raw 785631
idealappr 14
idealappr0 14
idealapprfact 0
idealapprfact_i 54089
idealcoprime 84
idealcoprimefact 37191
idealdiv 39744
idealdiv0 56
idealdivexact 5263
idealdivpowprime 13007
idealdown 3031
idealfactor 268344
idealfactor_limit 268771
idealfactor_partial 25515
idealfromgens 42
idealhnf 665
idealhnf0 413
idealhnf_principal 1393279
idealhnf_shallow 1857433
idealhnf_two 803578
idealintersect 21
idealinv 115838
idealismaximal 77
idealismaximal_i 77
idealismaximal_int 42
idealismaximal_mat 21
idealispower 3906
idealmin 7
idealmul 512055
idealmul0 70
idealmul_aux 512055
idealmulelt 266228
idealmulpowprime 828262
idealmulred 17221
idealnorm 106058
idealnumden 389759
idealpow 942129
idealpow0 2499
idealpow_aux 942129
idealpowprime 1309347
idealpowred 80386
idealpows 313399
idealprod 1064
idealprodprime 666
idealprodval 1917
idealpseudomin 142667
idealpseudomin_nonscalar 0
idealpseudominvec 1254116
idealpseudored 1346028
idealred0 139178
idealred_elt 13192
idealredmodpower 59192
idealredmodpower_i 118370
idealsqr 39245
idealsqr_aux 39245
idealsqrprime 317554
idealsqrtn_int 7756
idealtwoelt 97948
idealtwoelt0 2485
idealtwoelt2 42
idealtyp 16553902
idealval 9806937
in_ideal 28
isideal 91
lcmuu 1645000
make_integral 10920
mat_ideal_two_elt 251101
mat_ideal_two_elt2 21
matreduce 77
nfV_eltembed 84
nfV_idealhnf 448
nfV_to_ZM 448
nf_coprime_part 126
nf_get_Gtwist 139185
nf_get_Gtwist1 12667
nf_remove_denom_p 4377799
nf_to_Fp_coprime 119798
nfdivmodpr 0
nfkermodpr 0
nfmulmodpr 7
nfpowmodpr 0
nfsolvemodpr 0
nfweilheight 84
nfweilheight_i 84
not_in_ideal 14
ok_elt 226153
p_makecoprime 95069
prV_e_muls 28588
prV_lcm_capZ 81194
prV_primes 66234
pr_hnf 3803297
pr_inv 17863
pr_inv_p 38689
pr_uniformizer 58442
ramified_root 7749
ramified_root_simple 7
sunits_makecoprime 98
to_Fp_coprime 122255
to_famat 0
to_famat_shallow 2769792
trivial_merge 28
twistG 12709
u_ppo 54305725
vec_mulid 455
vecdiv 903
vecinv 826
vecmul 16133722
vecpow 0
vecsqr 185983
zk_pvalrem 4331966

Generated by: LCOV version 2.0-1