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 - Flx.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.18.1 lcov report (development 29877-9124a6ce27) Lines: 2455 2767 88.7 %
Date: 2025-01-18 09:08:44 Functions: 299 345 86.7 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
Fl_Xp1_powu 0
Flv_prod 0
FlxC_FlxqV_eval 0
FlxC_FlxqV_eval_pre 0
FlxC_Flxq_eval 0
FlxC_Flxq_eval_pre 0
FlxC_neg 0
FlxC_sub 0
FlxM_Flx_add_shallow 0
FlxM_neg 0
FlxM_sub 0
FlxM_to_FlxXV 0
FlxV_Flx_fromdigits 0
FlxV_prod 0
FlxV_red 0
Flx_Flv_multieval 0
Flx_composedprod 0
Flx_convol 0
Flx_digits 0
Flx_halfgcd 0
Flx_integ 0
Flx_invBarrett 0
Flx_matFrobenius 0
Flx_powu 0
Flx_recip 0
Flxn_exp 0
Flxn_sqr 0
Flxn_sqr_pre 0
FlxqC_Flxq_mul 0
FlxqM_Flxq_mul 0
FlxqV_dotproduct 0
Flxq_autsum 0
Flxq_auttrace 0
Flxq_is2npower 0
Flxq_lroot 0
Flxq_lroot_fast 0
Flxq_pow_init 0
Flxq_pow_table 0
ZXV_to_FlxV 0
Z_mod2BIL_Flx_3 0
_Flx_divrem 0
_Flx_sqr 0
kron_pack_Flx_spec_3 0
kron_unpack_Flx_3 0
zero_FlxC 0
zero_FlxM 0
Flxq_autpow 7
RgXV_to_FlxV 7
matJ2_FlxM 13
Flxq_conjvec 20
Flxq_pow_init_pre 28
Flx_extresultant 53
Flx_extresultant_basecase 53
Flx_extresultant_pre 53
_Flxq_powu 68
Flx_sqrspec_halfsqri 136
Flx_halfgcd_all 154
Flxq_matrix_pow 399
ZpX_invLaplace_init 497
matid2_FlxM 895
Flxn_inv 1030
Flx_halfres_pre 1044
Flx_rescale 1117
Flxq_autpowers 1679
FlxqX_dotproduct 1918
Flx_sqrspec_sqri 2261
Flm_to_FlxV 2296
FlxM_to_ZXM 2399
FlxV_Flv_multieval 2471
FlxV_Flv_multieval_tree 2471
kron_unpack_Flx_2 2930
Flv_prod_pre 3255
kron_pack_Flx_spec_2 3389
Flxq_charpoly 3632
_Flx_composedsum 3826
Flxq_pow_table_pre 4391
Flxq_trace 4696
Flx_FlxqV_eval 5082
Flx_mulspec_halfmulii 5454
Flx_FlxM_qmul 6345
_Flxq_s 6453
FlxM_mul2 6517
gener_Flxq 7201
Flx_powu_pre 7811
Flx_is_l_pow 8368
Flx_halfres_update_pre 9405
_Flxq_inv 9418
Flx_mulspec_mulii 10028
Flx_sqrspec_quartsqri 10221
Flx_Fl2_eval_pre 10402
Flv_inv_pre 10850
Flx_sqrspec_sqri_inflate 11501
Flv_inv_inplace 12017
zl_Xp1_powu 12017
int_to_Flx 12302
init_invlaplace 12514
Flx_diff1 13447
Flx_halve 14222
Flx_translate1 16107
Flx_halfres_split 19282
FlxM_eval_powers_pre 19452
Flxq_sqrtn 20125
Flxq_autpow_msqr 20772
Flx_invBarrett_Newton 23116
ZM_unpack_FlxqM 23668
FlxM_Flx_mul2 24752
Flxq_lroot_pre 25053
zlx_translate1 25259
Flx_Laplace 27268
Flx_composedsum 27496
Flx_translate1_basecase 28201
FlxV_composedsum 28903
Flx_mod_Xn1 30305
Flxq_autpow_pre 31997
FlxV_Flc_mul 34482
Fl_Flxq_log 35479
Flxq_sumautsum_msqr 40494
_Flxq_rand 41044
translate_basecase 41366
kron_unpack_Flx 42953
Flxq_minpoly 44447
Flxq_autpow_sqr 46414
FlxM_pack_ZM 47329
Flv_inv_indir 49731
kron_pack_Flx_spec 53832
Flx_Newton 53986
Flx_invLaplace 54233
Flxn_div 55028
Flxn_div_pre 55058
ZM_unpack_FlxqM_bits 58116
Fl2_sqrt_pre 67676
_Flxq_equal0 68965
get_Flxq_field 68966
set_Flxq 68986
Flx_to_FlxX 71346
Flx_is_smooth 74256
Fl2_sqrtn_pre 74705
Flxn_mul 75315
FlxqM_mul_Kronecker 81784
Flx_Frobenius 86497
Flx_matFrobenius_pre 86610
Flx_mulspec_quartmulii 97115
Flxq_order 97239
Flxq_autsum_pre 99258
Flv_Flm_polint 101077
FlxC_to_ZXC 103966
Flxq_autsum_sqr 105685
int_to_Flx_quart 107337
Flx_fromNewton 109332
Flxn_expint 109332
_Fl2_rand 111203
Flxq_autsum_mul 113408
FlxqV_dotproduct_pre 113589
Flxq_lroot_fast_pre 113589
FlxM_pack_ZM_bits 116151
Flx_is_smooth_pre 118372
Fl2_norm_pre 125967
Flx_is_smooth_squarefree 126683
Flx_invBarrett_basecase 134231
Flx_splitting 147209
Flx_extgcd_halfgcd 147557
Flx_Fl_sub 151354
Flv_invVandermonde 152995
Flx_inflate 157757
Flx_invBarrett_pre 158659
Flxq_log 164497
Flxq_matrix_pow_pre 170728
FlxV_to_Flm 171942
Fl2_inv_pre 193039
Flx_to_int_quartspec 204451
Flxq_sumautsum_pre 207606
Flxn_recip 217015
Flxq_powers 232070
Flxq_sqrt 232383
Flxq_sqrt_pre 232383
Flxq_div 237696
FlxC_eval_powers_pre 251042
get_Flxq_star 281854
Flx_mulspec_mulii_inflate 283559
Flxq_sumautsum_sqr 291170
FlxT_red 293110
Z_mod2BIL_Flx 295060
Z_mod2BIL_Flx_2 297990
Flxq_inv 335952
Flx_sqr 356029
_Flxq_neg 366530
Flv_polint 368322
_Flx_add 389822
FlxV_to_FlxX 398134
Flxq_issquare 403982
Flx_addmulmul 416901
Flx_deflate 420251
Flx_integXn 422487
bounded_order 422759
Fl2_equal1 439978
Flxq_norm 443192
Flx_to_int_halfspec 469506
Flxq_powu 488130
int_to_Flx_half 506349
Flxn_mulhigh 516101
Flx_blocks 516174
Flxq_easylog 548377
Flx_eval2BILspec 582008
FlxV_to_ZXV 600376
Flx_divrem_Barrett 603815
Flv_inv 623666
Flv_producttree 624871
Flv_inv_i 635680
Flxq_auttrace_sqr 636173
_Fl2_pow 657347
Fl2_pow_pre 657354
Flx_Flv_multieval_tree 665171
Flxq_invsafe 668887
Flx_sqrspec_Kronecker 683743
kron_pack_Flx_spec_half 689169
Flv_roots_to_pol 737451
Flxq_auttrace_mul 763607
Flxq_minpoly_pre 784413
Flx_Flxq_eval 789240
Flx_halfgcd_pre 846427
Flx_extgcd 854646
Flx_subspec 896593
Flx_divrem_Barrettspec 904450
monomial_Flx 913274
Flxq_pow 931200
Flxq_auttrace_pre 935464
Flx_mulhigh_i 937483
Flx_triple 1049270
Flx_halfgcd_all_i 1102643
Flx_halfgcd_all_pre 1102645
Flx_halfres_basecase 1109152
Flx_halfres_i 1128438
FlvV_polint_tree 1386361
_Flxq_rmul 1462718
_Flxq_red 1551604
Flxq_transmul_init 1692812
Rg_to_F2 1706786
Flx_neg_inplace 1746570
Flx_red 1877777
_Fl2_mul 1889565
Fl2_mul_pre 1917672
Flx_lgrenormalizespec 2129844
RgX_to_Flx 2355382
Flx_Flxq_eval_pre 2404216
Flxq_div_pre 2416583
Flx_double 2444284
random_Flx 2588170
Z_to_Flx 2595432
Flxq_sqr 2757868
FlxV_to_ZXV_inplace 2926315
Flx_neg 3263201
Flx_negspec 3263220
Rg_to_Flxq 3565875
Flx_addshift 3662184
ZXT_to_FlxT 3797891
Flxq_transmul 4086173
Flx_val 4156404
Flxq_inv_pre 4372169
Flx_resultant 4667608
Fl2_sqr_pre 4827349
_Fl2_sqr 4827394
Flxn_mul_pre 5063498
Flx_mod_Xnm1 5097732
Flxq_invsafe_pre 5498976
kron_unpack_Flx_bits_wide 5539731
kron_unpack_Flx_bits_narrow 5639320
zx_to_Flx 6084639
Flxn_red 6230298
Flx_extgcd_basecase 6353591
Flx_extgcd_pre 6353605
Flx_recipspec 7123479
Flx_addspec 7125898
mkF2 7198582
Flx_mulspec_Kronecker 7217472
Flx_Fl_mul 7277091
maxbitcoeffpol 8325602
Flx_is_squarefree 8532374
Flx_Fl_add 9898958
Flx_resultant_basecase_pre 10202006
Flx_resultant_pre 10204014
_Flx_mul 10473858
Flx_Fl_mul_to_monic 11949793
Flx_blocks_Flm 12804361
FlxV_to_Flm_lg 12805551
Flx_FlxqV_eval_pre 13004051
Flxq_mul 13187889
Flx_Frobenius_pre 13672722
Flx_get_red 14255267
Flv_inv_pre_inplace 18328406
Flx_Fl_mul_pre 18363864
Flv_inv_pre_indir 18941650
Fl_to_Flx 19853508
Flx_eval 20389331
kron_pack_Flx_spec_bits 20706762
Flx_deriv 21086062
Flxq_powers_pre 22221111
_Flxq_one 22221288
_Flxq_powu_i 22882294
Flxq_powu_pre 24129916
_Flxq_pow 25227687
Flxq_pow_Frobenius 25235075
Flv_to_Flx 25250734
Flxq_pow_pre 26160832
Flx_valrem 26276562
Flx_shift 26798989
Flx_mul 27684408
Flx_equal 29457382
Flx_divrem 30291715
Flx_gcd 32425777
Flx_div_by_X_x 33011054
Flx_to_ZX_inplace 36440719
Flx_to_ZX 37081144
Flx_rem 41825756
Flx_eval_powers_pre 43780113
Flx_divrem_basecase 61835453
Flx_normalize 62128386
Flx_add 62547859
Flx_to_Flv 65817873
set_Flxq_pre 71660271
Rg_to_Fl 73022594
Flx_divrem_pre 79275582
Flx_gcd_basecase 82906383
Flx_gcd_pre 84540552
Flx_get_red_pre 99057948
Flx_eval_pre 100655774
Flx_sub 138069570
_Flxq_mul 152372763
ZX_to_Flx 167406442
Flxq_mul_pre 193296714
_Flxq_sqr 271500936
Flxq_sqr_pre 279473009
Flx_sqrspec_basecase 280285903
Flx_sqr_pre 280547543
Flx_sqrspec 280745976
Flx_mulspec_basecase 342802591
Flx_mul_pre 374415518
Flx_mulspec 379930621
Flx_shiftip 631722179
Flx_rem_basecase 791561002
Flx_rem_pre 915045307
get_Flx_red 978626827
Flx_mullimb 1151416867
Flx_renormalize 2119934869
get_Fl_threshold 2311232258
Flx_mullimb_ok 3392026412

Generated by: LCOV version 1.16