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 - FpX.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 1631 1791 91.1 %
Date: 2024-02-28 08:03:13 Functions: 184 197 93.4 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
Fp2_norm 19500
Fp2_sqrt 19931
FpVV_polint_tree 15
FpV_FpM_polint 0
FpV_inv 33907
FpV_invVandermonde 31465
FpV_polint 22
FpV_producttree 31480
FpV_roots_to_pol 93024
FpXC_FpXQV_eval 1470
FpXC_FpXQ_eval 588
FpXM_FpXQV_eval 315
FpXM_FpX_mul2 33750
FpXM_mul2 16432
FpXQM_autsum 147
FpXQM_autsum_mul 315
FpXQM_autsum_sqr 217
FpXQ_autpow 5051
FpXQ_autpow_msqr 21
FpXQ_autpow_sqr 5764
FpXQ_autpowers 1764
FpXQ_autsum 4381
FpXQ_autsum_mul 6075
FpXQ_autsum_sqr 4451
FpXQ_auttrace 438
FpXQ_auttrace_mul 360
FpXQ_auttrace_sqr 317
FpXQ_charpoly 15
FpXQ_conjvec 8
FpXQ_div 621539
FpXQ_inv 1182235
FpXQ_invsafe 1182236
FpXQ_issquare 400152
FpXQ_log 708007
FpXQ_matrix_pow 66262
FpXQ_minpoly 13308
FpXQ_mul 11902848
FpXQ_norm 363092
FpXQ_order 1883
FpXQ_pow 935254
FpXQ_pow_Frobenius 238141
FpXQ_powers 383247
FpXQ_powu 603743
FpXQ_red 17855810
FpXQ_sqr 6270210
FpXQ_sqrt 80929
FpXQ_sqrtn 1441
FpXQ_trace 21098
FpXQ_transmul 2645
FpXQ_transmul_init 1024
FpXT_red 1664916
FpXT_sqr 7602
FpXV_FpX_fromdigits 4564
FpXV_chinese 588
FpXV_chinese_tree 588
FpXV_chinesetree 588
FpXV_factorback 16553
FpXV_invdivexact 588
FpXV_prod 307992
FpXV_producttree 588
FpXV_producttree_dbl 32067
FpXV_red 404165
FpXV_sqr 588
FpX_FpV_multieval 0
FpX_FpV_multieval_tree 31478
FpX_FpXM_qmul 16341
FpX_FpXQV_eval 408123
FpX_FpXQ_eval 792097
FpX_FpXV_multirem 0
FpX_FpXV_multirem_dbl_tree 32066
FpX_FpXV_multirem_tree 588
FpX_Fp_add 906675
FpX_Fp_add_shallow 0
FpX_Fp_div 703014
FpX_Fp_mul 5837585
FpX_Fp_mul_to_monic 123377
FpX_Fp_mulspec 5852467
FpX_Fp_sub 588593
FpX_Fp_sub_shallow 11146
FpX_Frobenius 438230
FpX_Laplace 576
FpX_Newton 518755
FpX_add 16995554
FpX_addmulmul 81209
FpX_center 309196
FpX_center_i 1240699
FpX_chinese_coprime 0
FpX_convol 994
FpX_deriv 1622830
FpX_digits 11403
FpX_disc 42
FpX_div_by_X_x 164383
FpX_divrem 14486930
FpX_divrem_Barrett 213361
FpX_divrem_Barrettspec 214108
FpX_divrem_basecase 67194014
FpX_divu 8610
FpX_dotproduct 8006
FpX_eval 958706
FpX_extgcd 1516465
FpX_extgcd_basecase 675610
FpX_extgcd_halfgcd 13435
FpX_extresultant 77
FpX_extresultant_basecase 24
FpX_fromNewton 11334
FpX_gcd 1005167
FpX_gcd_basecase 52517
FpX_gcd_check 763
FpX_get_red 1000945
FpX_halfgcd 631
FpX_halfgcd_all 15212
FpX_halfgcd_all_i 15100
FpX_halfres 106
FpX_halfres_basecase 31531
FpX_halfres_i 48956
FpX_halfres_split 17425
FpX_halfres_update 3749
FpX_halve 94891
FpX_integ 0
FpX_integXn 55491
FpX_invBarrett 4873
FpX_invBarrett_Newton 1556
FpX_invBarrett_basecase 3264
FpX_invLaplace 158
FpX_is_squarefree 40857
FpX_matFrobenius 31466
FpX_mul 26918172
FpX_mulhigh_i 114901
FpX_mulspec 7999291
FpX_mulu 1279602
FpX_neg 467583
FpX_normalize 1813057
FpX_powu 307041
FpX_recipspec 432826
FpX_red 94016208
FpX_rem 71884713
FpX_rescale 177570
FpX_resultant 415748
FpX_resultant_basecase 4215
FpX_shift 957645
FpX_sqr 6462569
FpX_sub 14744551
FpX_subspec 14958668
FpX_valrem 253256
FpXn_div 6412
FpXn_exp 0
FpXn_expint 17249
FpXn_inv 6412
FpXn_mul 2559682
FpXn_mulhigh 59410
FpXn_recip 529584
FpXn_red 199650
FpXn_sqr 0
Fp_FpXQ_log 544525
Fp_FpX_sub 25683
Fp_issquare 1313525
Fp_neg_FpX 935
Fp_red_FpX 21043
FqV_inv 0
Fq_ispower 70
Fq_issquare 1609786
Fq_log 2191077
ZX_lgrenormalizespec 459998
Z_to_FpX 1726
_FpXQ_add 2262673
_FpXQ_cmul 2677013
_FpXQ_easylog 624
_FpXQ_mul 1705108
_FpXQ_one 886806
_FpXQ_pow 222936
_FpXQ_rand 1959
_FpXQ_red 883884
_FpXQ_sqr 5177523
_FpXQ_sub 52941
_FpXQ_zero 4123
_FpX_add 20062
_FpX_divrem 134778
_FpX_mul 367449
_FpX_one 0
_FpX_pow 26306
_FpX_red 0
_FpX_sqr 85908
_FpX_zero 0
bounded_order 6421
gc_chinese 588
gener_FpXQ 6995
gener_FpXQ_i 83337
gener_FpXQ_local 83300
get_FpXQ_algebra 10199
get_FpXQ_star 3116
get_FpX_algebra 0
get_FpX_red 86370030
matJ2_FpXM 8
matid2_FpXM 24
random_FpX 259508
to_Flx 44408062
to_Flxq 2110064

Generated by: LCOV version 1.14