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:

• with GMP kernel
• with GMP kernel using --mt=pthread
• with native kernel, including micro-assembler code
• with native kernel, without micro-assembler
• with native kernel, without micro-assembler, disabling GCC extensions (DISABLE_INLINE)
• with GMP kernel, emulating an x86_32 architecture at Configure time via setarch

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 - Qfb.c (source / functions) Hit Total Coverage Test: PARI/GP v2.16.1 lcov report (development 28880-3b5364847c) Lines: 1103 1225 90.0 % Date: 2023-12-01 07:53:15 Functions: 131 140 93.6 % Legend: Lines: hit not hit

Function Name	Hit count
qfb_1	0
qfbcompraw_i	0
qfisolvep	0
qfr3_1	0
qfr3_powraw	0
qfr5_1	0
qfr_1_fill	0
qfrsolvep	0
quadgen	0
_qfimulraw	7
_qfisqrraw	7
qfbinv	7
qfipowraw	7
qfr5_powraw	7
qfrinvraw	7
rhoimag	7
qfrpowraw	14
qfbpowraw	21
qfr5_pow	21
qfr_1	35
qfr_disc	35
qfrsqr0	35
qfbred_real	63
qfb_comp_gen	84
qfrpow	112
qfr5_init	140
qfr3_init	364
qfbred_real_basecase_i	420
qfbred_real_i	420
qfrcomp0	441
qfr5_to_qfr	476
quadgen0	560
nupow	1008
quadpoly0	1036
quadpoly	2044
check_quaddisc_imag	2170
qfr_data_init	2170
qfbcompraw	2198
qfr3_pow	4515
mul_nucomp	4739
famat_divsqr	5299
qfr_1_by_disc	6867
check_quaddisc_real	6916
qfbcornacchia	7630
qfbsolve_all	10227
mul_nudupl	11606
nudupl	11648
qfr3_to_qfr	31913
cornacchia2_sqrt	40677
allsols	48011
qfbred	53001
qfbred0	54807
cornacchia	55238
GL2_qfb_equal	61068
pqfbred_basecase	66501
Qfb0	77217
qfbsqr	95638
qfbcomp	129398
pqfbred_iter_1	134615
pqfbred_rec	134615
primeform	135459
qfb_minexpi	136228
qfb3	144361
check_quaddisc	151512
qfr5_dist	184254
qfbredsl2_real	209519
qfr_to_qfr5	217084
qfisolvep_all	223034
quadpoly_i	241325
quadpoly_ii	243362
SL2_div_mul_e1	344320
nucomp	400722
parteucl	412328
qfbredsl2	519753
qfbsqr_i	698063
qfi_1	708157
qfi_1_by_disc	720115
qfrsolve_normform	770126
qfisqr0	793666
is_qfi	814212
qfb_inv	878202
qfbred_imag_1_b0	959205
quadpoly_bc	963477
qfbredsl2_real_basecase	979645
qfr3_comp	1006905
qfr3_compraw	1006905
setq_b0	1068864
cornacchia2	1088763
lastqi	1128540
cornacchia2_i	1128552
qfr3_rho	1136471
qfr3_red	1169914
qfbpows	1293852
qfbpow	1393348
qfisolve_normform	1445678
qfr5_comp	1730393
qfr5_compraw	1730407
check_qfbext	1807006
known_prime	1862933
qfr5_red	1947428
pqfbred_1	2065206
is_minimal	2201585
qfsolve_normform	2215804
normforms	2620771
REDB	2768839
qfbsolve_primitive	2828280
qfb_initrd	2838506
qfbsolve	2838512
qfbsolve_primitive_i	2843809
redimagsl2	4655867
qfbredsl2_imag	4966097
lti2n	5314748
qfbredsl2_imag_basecase	6556445
_qfimul	9584169
qfbpow_i	10082572
qfr5_rho	10296041
rhorealsl2	10810674
qfipow	11475808
fix_expo	12022731
primeform_u	12209045
REDBU	13310970
_rhorealsl2	13379238
dvmdii_round	16079811
rho_get_BC	17290519
qfbred_i	17881619
qfbred_imag	17936059
ab_isreduced	20824004
qfb_equal	23783633
_qfisqr	25411442
qfbcomp_i	27250657
qfb_sqr	27276868
qficomp0	62373665
qfb_comp	65098622
setq	80270463
qfbred_imag_av	81262685
qfbred_imag_1	81315275
qfbred_imag_basecase_av	81462354
qfb_maxexpi	86832651
dvmdsu_round	97123021
sREDB	97125455

Generated by: LCOV version 1.14