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.18.1 lcov report (development 30256-57c6c2b57f) Lines: 1102 1224 90.0 % Date: 2025-05-07 09:19:00 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	371
qfbred_real_basecase_i	427
qfbred_real_i	427
qfrcomp0	441
qfr5_to_qfr	483
quadgen0	574
nupow	1008
quadpoly0	1029
quadpoly	2044
qfr_data_init	2170
check_quaddisc_imag	2177
qfbcompraw	2198
qfr3_pow	4557
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	31920
cornacchia2_sqrt	35413
allsols	48027
qfbred	53006
qfbred0	54819
cornacchia	55244
GL2_qfb_equal	61068
pqfbred_basecase	61492
Qfb0	77231
qfbsqr	93685
pqfbred_iter_1	124020
pqfbred_rec	124020
qfb_minexpi	125056
qfbcomp	130651
primeform	135445
qfb3	139081
check_quaddisc	151560
qfr5_dist	184688
qfbredsl2_real	209575
qfr_to_qfr5	217728
qfisolvep_all	223039
quadpoly_i	241304
quadpoly_ii	243341
SL2_div_mul_e1	344318
nucomp	400722
parteucl	412328
qfbredsl2	519893
qfbsqr_i	697195
qfi_1	719014
qfi_1_by_disc	730958
qfrsolve_normform	770126
qfisqr0	790845
is_qfi	814212
qfb_inv	888164
qfbred_imag_1_b0	946027
quadpoly_bc	974299
qfbredsl2_real_basecase	979701
qfr3_comp	1009397
qfr3_compraw	1009397
setq_b0	1058098
qfr3_rho	1139446
qfr3_red	1172847
qfbpows	1313390
cornacchia2	1381726
qfbpow	1411784
cornacchia2_i	1416254
lastqi	1416256
qfisolve_normform	1445669
qfr5_comp	1735216
qfr5_compraw	1735230
check_qfbext	1826004
known_prime	1862934
pqfbred_1	1921185
qfr5_red	1952895
is_minimal	2046352
qfsolve_normform	2215795
normforms	2620772
REDB	2783988
qfbsolve_primitive	2828289
qfb_initrd	2838515
qfbsolve	2838518
qfbsolve_primitive_i	2843810
redimagsl2	4733723
lti2n	4940497
qfbredsl2_imag	5044040
qfbredsl2_imag_basecase	6634383
qfr5_rho	8486681
fix_expo	10217928
rhorealsl2	10810674
primeform_u	12282095
_rhorealsl2	13379357
_qfimul	13525489
REDBU	13956821
rho_get_BC	14152531
qfbpow_i	14418813
qfipow	15830483
dvmdii_round	16740811
ab_isreduced	17712973
qfbred_i	22280718
qfbred_imag	22335163
qfb_equal	23783631
qfbcomp_i	27341630
_qfisqr	31340722
qfb_sqr	33214850
qficomp0	72335979
qfb_comp	75074406
setq	94617435
qfbred_imag_1	95622684
qfbred_imag_av	95655226
qfbred_imag_basecase_av	95799727
qfb_maxexpi	101215826
sREDB	111295458
dvmdsu_round	111307704

Generated by: LCOV version 1.16