LCOV - code coverage report

Current view: top level - ballet/fiat-crypto - bn254_scalar_64.c (source / functions) Hit Total Coverage Test: cov.lcov Lines: 587 1891 31.0 % Date: 2026-07-08 05:20:36 Functions: 7 247 2.8 %

Function Name	Hit count
fd_bn254.c:fiat_bn254_scalar_add	0
fd_bn254.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254.c:fiat_bn254_scalar_divstep	0
fd_bn254.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254.c:fiat_bn254_scalar_from_bytes	0
fd_bn254.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254.c:fiat_bn254_scalar_msat	0
fd_bn254.c:fiat_bn254_scalar_mul	0
fd_bn254.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254.c:fiat_bn254_scalar_nonzero	0
fd_bn254.c:fiat_bn254_scalar_opp	0
fd_bn254.c:fiat_bn254_scalar_selectznz	0
fd_bn254.c:fiat_bn254_scalar_set_one	0
fd_bn254.c:fiat_bn254_scalar_square	0
fd_bn254.c:fiat_bn254_scalar_sub	0
fd_bn254.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254.c:fiat_bn254_scalar_to_bytes	0
fd_bn254.c:fiat_bn254_scalar_to_montgomery	0
fd_bn254_field.c:fiat_bn254_scalar_add	0
fd_bn254_field.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254_field.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254_field.c:fiat_bn254_scalar_divstep	0
fd_bn254_field.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254_field.c:fiat_bn254_scalar_from_bytes	0
fd_bn254_field.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254_field.c:fiat_bn254_scalar_msat	0
fd_bn254_field.c:fiat_bn254_scalar_mul	0
fd_bn254_field.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254_field.c:fiat_bn254_scalar_nonzero	0
fd_bn254_field.c:fiat_bn254_scalar_opp	0
fd_bn254_field.c:fiat_bn254_scalar_selectznz	0
fd_bn254_field.c:fiat_bn254_scalar_set_one	0
fd_bn254_field.c:fiat_bn254_scalar_square	0
fd_bn254_field.c:fiat_bn254_scalar_sub	0
fd_bn254_field.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254_field.c:fiat_bn254_scalar_to_bytes	0
fd_bn254_field.c:fiat_bn254_scalar_to_montgomery	0
fd_bn254_field_ext.c:fiat_bn254_scalar_add	0
fd_bn254_field_ext.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254_field_ext.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254_field_ext.c:fiat_bn254_scalar_divstep	0
fd_bn254_field_ext.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254_field_ext.c:fiat_bn254_scalar_from_bytes	0
fd_bn254_field_ext.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254_field_ext.c:fiat_bn254_scalar_msat	0
fd_bn254_field_ext.c:fiat_bn254_scalar_mul	0
fd_bn254_field_ext.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254_field_ext.c:fiat_bn254_scalar_nonzero	0
fd_bn254_field_ext.c:fiat_bn254_scalar_opp	0
fd_bn254_field_ext.c:fiat_bn254_scalar_selectznz	0
fd_bn254_field_ext.c:fiat_bn254_scalar_set_one	0
fd_bn254_field_ext.c:fiat_bn254_scalar_square	0
fd_bn254_field_ext.c:fiat_bn254_scalar_sub	0
fd_bn254_field_ext.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254_field_ext.c:fiat_bn254_scalar_to_bytes	0
fd_bn254_field_ext.c:fiat_bn254_scalar_to_montgomery	0
fd_bn254_final_exp.c:fiat_bn254_scalar_add	0
fd_bn254_final_exp.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254_final_exp.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254_final_exp.c:fiat_bn254_scalar_divstep	0
fd_bn254_final_exp.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254_final_exp.c:fiat_bn254_scalar_from_bytes	0
fd_bn254_final_exp.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254_final_exp.c:fiat_bn254_scalar_msat	0
fd_bn254_final_exp.c:fiat_bn254_scalar_mul	0
fd_bn254_final_exp.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254_final_exp.c:fiat_bn254_scalar_nonzero	0
fd_bn254_final_exp.c:fiat_bn254_scalar_opp	0
fd_bn254_final_exp.c:fiat_bn254_scalar_selectznz	0
fd_bn254_final_exp.c:fiat_bn254_scalar_set_one	0
fd_bn254_final_exp.c:fiat_bn254_scalar_square	0
fd_bn254_final_exp.c:fiat_bn254_scalar_sub	0
fd_bn254_final_exp.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254_final_exp.c:fiat_bn254_scalar_to_bytes	0
fd_bn254_final_exp.c:fiat_bn254_scalar_to_montgomery	0
fd_bn254_fp12.c:fiat_bn254_scalar_add	0
fd_bn254_fp12.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254_fp12.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254_fp12.c:fiat_bn254_scalar_divstep	0
fd_bn254_fp12.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254_fp12.c:fiat_bn254_scalar_from_bytes	0
fd_bn254_fp12.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254_fp12.c:fiat_bn254_scalar_msat	0
fd_bn254_fp12.c:fiat_bn254_scalar_mul	0
fd_bn254_fp12.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254_fp12.c:fiat_bn254_scalar_nonzero	0
fd_bn254_fp12.c:fiat_bn254_scalar_opp	0
fd_bn254_fp12.c:fiat_bn254_scalar_selectznz	0
fd_bn254_fp12.c:fiat_bn254_scalar_set_one	0
fd_bn254_fp12.c:fiat_bn254_scalar_square	0
fd_bn254_fp12.c:fiat_bn254_scalar_sub	0
fd_bn254_fp12.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254_fp12.c:fiat_bn254_scalar_to_bytes	0
fd_bn254_fp12.c:fiat_bn254_scalar_to_montgomery	0
fd_bn254_g1.c:fiat_bn254_scalar_add	0
fd_bn254_g1.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254_g1.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254_g1.c:fiat_bn254_scalar_divstep	0
fd_bn254_g1.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254_g1.c:fiat_bn254_scalar_from_bytes	0
fd_bn254_g1.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254_g1.c:fiat_bn254_scalar_msat	0
fd_bn254_g1.c:fiat_bn254_scalar_mul	0
fd_bn254_g1.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254_g1.c:fiat_bn254_scalar_nonzero	0
fd_bn254_g1.c:fiat_bn254_scalar_opp	0
fd_bn254_g1.c:fiat_bn254_scalar_selectznz	0
fd_bn254_g1.c:fiat_bn254_scalar_set_one	0
fd_bn254_g1.c:fiat_bn254_scalar_square	0
fd_bn254_g1.c:fiat_bn254_scalar_sub	0
fd_bn254_g1.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254_g1.c:fiat_bn254_scalar_to_bytes	0
fd_bn254_g1.c:fiat_bn254_scalar_to_montgomery	0
fd_bn254_g2.c:fiat_bn254_scalar_add	0
fd_bn254_g2.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254_g2.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254_g2.c:fiat_bn254_scalar_divstep	0
fd_bn254_g2.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254_g2.c:fiat_bn254_scalar_from_bytes	0
fd_bn254_g2.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254_g2.c:fiat_bn254_scalar_msat	0
fd_bn254_g2.c:fiat_bn254_scalar_mul	0
fd_bn254_g2.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254_g2.c:fiat_bn254_scalar_nonzero	0
fd_bn254_g2.c:fiat_bn254_scalar_opp	0
fd_bn254_g2.c:fiat_bn254_scalar_selectznz	0
fd_bn254_g2.c:fiat_bn254_scalar_set_one	0
fd_bn254_g2.c:fiat_bn254_scalar_square	0
fd_bn254_g2.c:fiat_bn254_scalar_sub	0
fd_bn254_g2.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254_g2.c:fiat_bn254_scalar_to_bytes	0
fd_bn254_g2.c:fiat_bn254_scalar_to_montgomery	0
fd_bn254_g2_check.c:fiat_bn254_scalar_add	0
fd_bn254_g2_check.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254_g2_check.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254_g2_check.c:fiat_bn254_scalar_divstep	0
fd_bn254_g2_check.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254_g2_check.c:fiat_bn254_scalar_from_bytes	0
fd_bn254_g2_check.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254_g2_check.c:fiat_bn254_scalar_msat	0
fd_bn254_g2_check.c:fiat_bn254_scalar_mul	0
fd_bn254_g2_check.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254_g2_check.c:fiat_bn254_scalar_nonzero	0
fd_bn254_g2_check.c:fiat_bn254_scalar_opp	0
fd_bn254_g2_check.c:fiat_bn254_scalar_selectznz	0
fd_bn254_g2_check.c:fiat_bn254_scalar_set_one	0
fd_bn254_g2_check.c:fiat_bn254_scalar_square	0
fd_bn254_g2_check.c:fiat_bn254_scalar_sub	0
fd_bn254_g2_check.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254_g2_check.c:fiat_bn254_scalar_to_bytes	0
fd_bn254_g2_check.c:fiat_bn254_scalar_to_montgomery	0
fd_bn254_pairing.c:fiat_bn254_scalar_add	0
fd_bn254_pairing.c:fiat_bn254_scalar_addcarryx_u64	0
fd_bn254_pairing.c:fiat_bn254_scalar_cmovznz_u64	0
fd_bn254_pairing.c:fiat_bn254_scalar_divstep	0
fd_bn254_pairing.c:fiat_bn254_scalar_divstep_precomp	0
fd_bn254_pairing.c:fiat_bn254_scalar_from_bytes	0
fd_bn254_pairing.c:fiat_bn254_scalar_from_montgomery	0
fd_bn254_pairing.c:fiat_bn254_scalar_msat	0
fd_bn254_pairing.c:fiat_bn254_scalar_mul	0
fd_bn254_pairing.c:fiat_bn254_scalar_mulx_u64	0
fd_bn254_pairing.c:fiat_bn254_scalar_nonzero	0
fd_bn254_pairing.c:fiat_bn254_scalar_opp	0
fd_bn254_pairing.c:fiat_bn254_scalar_selectznz	0
fd_bn254_pairing.c:fiat_bn254_scalar_set_one	0
fd_bn254_pairing.c:fiat_bn254_scalar_square	0
fd_bn254_pairing.c:fiat_bn254_scalar_sub	0
fd_bn254_pairing.c:fiat_bn254_scalar_subborrowx_u64	0
fd_bn254_pairing.c:fiat_bn254_scalar_to_bytes	0
fd_bn254_pairing.c:fiat_bn254_scalar_to_montgomery	0
fd_poseidon.c:fiat_bn254_scalar_divstep	0
fd_poseidon.c:fiat_bn254_scalar_divstep_precomp	0
fd_poseidon.c:fiat_bn254_scalar_from_bytes	0
fd_poseidon.c:fiat_bn254_scalar_msat	0
fd_poseidon.c:fiat_bn254_scalar_mul	0
fd_poseidon.c:fiat_bn254_scalar_nonzero	0
fd_poseidon.c:fiat_bn254_scalar_opp	0
fd_poseidon.c:fiat_bn254_scalar_selectznz	0
fd_poseidon.c:fiat_bn254_scalar_set_one	0
fd_poseidon.c:fiat_bn254_scalar_square	0
fd_poseidon.c:fiat_bn254_scalar_sub	0
fd_poseidon.c:fiat_bn254_scalar_to_bytes	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_add	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_addcarryx_u64	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_cmovznz_u64	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_divstep	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_divstep_precomp	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_from_bytes	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_from_montgomery	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_msat	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_mul	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_mulx_u64	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_nonzero	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_opp	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_selectznz	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_set_one	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_square	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_sub	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_subborrowx_u64	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_to_bytes	0
fd_vm_syscall_crypto.c:fiat_bn254_scalar_to_montgomery	0
test_bn254.c:fiat_bn254_scalar_add	0
test_bn254.c:fiat_bn254_scalar_addcarryx_u64	0
test_bn254.c:fiat_bn254_scalar_cmovznz_u64	0
test_bn254.c:fiat_bn254_scalar_divstep	0
test_bn254.c:fiat_bn254_scalar_divstep_precomp	0
test_bn254.c:fiat_bn254_scalar_from_bytes	0
test_bn254.c:fiat_bn254_scalar_from_montgomery	0
test_bn254.c:fiat_bn254_scalar_msat	0
test_bn254.c:fiat_bn254_scalar_mul	0
test_bn254.c:fiat_bn254_scalar_mulx_u64	0
test_bn254.c:fiat_bn254_scalar_nonzero	0
test_bn254.c:fiat_bn254_scalar_opp	0
test_bn254.c:fiat_bn254_scalar_selectznz	0
test_bn254.c:fiat_bn254_scalar_set_one	0
test_bn254.c:fiat_bn254_scalar_square	0
test_bn254.c:fiat_bn254_scalar_sub	0
test_bn254.c:fiat_bn254_scalar_subborrowx_u64	0
test_bn254.c:fiat_bn254_scalar_to_bytes	0
test_bn254.c:fiat_bn254_scalar_to_montgomery	0
test_poseidon.c:fiat_bn254_scalar_add	0
test_poseidon.c:fiat_bn254_scalar_addcarryx_u64	0
test_poseidon.c:fiat_bn254_scalar_cmovznz_u64	0
test_poseidon.c:fiat_bn254_scalar_divstep	0
test_poseidon.c:fiat_bn254_scalar_divstep_precomp	0
test_poseidon.c:fiat_bn254_scalar_from_bytes	0
test_poseidon.c:fiat_bn254_scalar_from_montgomery	0
test_poseidon.c:fiat_bn254_scalar_msat	0
test_poseidon.c:fiat_bn254_scalar_mul	0
test_poseidon.c:fiat_bn254_scalar_mulx_u64	0
test_poseidon.c:fiat_bn254_scalar_nonzero	0
test_poseidon.c:fiat_bn254_scalar_opp	0
test_poseidon.c:fiat_bn254_scalar_selectznz	0
test_poseidon.c:fiat_bn254_scalar_set_one	0
test_poseidon.c:fiat_bn254_scalar_square	0
test_poseidon.c:fiat_bn254_scalar_sub	0
test_poseidon.c:fiat_bn254_scalar_subborrowx_u64	0
test_poseidon.c:fiat_bn254_scalar_to_bytes	0
test_poseidon.c:fiat_bn254_scalar_to_montgomery	0
fd_poseidon.c:fiat_bn254_scalar_from_montgomery	15102
fd_poseidon.c:fiat_bn254_scalar_to_montgomery	75549
fd_poseidon.c:fiat_bn254_scalar_mulx_u64	3021804
fd_poseidon.c:fiat_bn254_scalar_add	61839546
fd_poseidon.c:fiat_bn254_scalar_cmovznz_u64	247720788
fd_poseidon.c:fiat_bn254_scalar_addcarryx_u64	251845506
fd_poseidon.c:fiat_bn254_scalar_subborrowx_u64	309650985

Generated by: LCOV version 1.14