cryspen / hacl-packages / 7058563693
59%
main: 48%

LAST BUILD BRANCH: opam_0_7_2
DEFAULT BRANCH: main
Ran
Jobs 1
Files 81
Run time 6min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 54.055% (+1.3%) from 52.764%
7058563693

push

github

franziskuskiefer 
Merge branch 'main' into dev

10739 of 20855 new or added lines in 78 files covered. (51.49%)

85 existing lines in 25 files now uncovered.

27829 of 51483 relevant lines covered (54.05%)

1266254.19 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
0.0
 0.0% src/Hacl_Frodo_KEM.c
3
86.99
 -5.61% src/EverCrypt_AutoConfig2.c
3
90.66
 0.0% src/EverCrypt_HKDF.c
11
90.52
 -0.76% src/Hacl_Hash_SHA1.c
13
90.33
 -0.11% src/Hacl_GenericField32.c
13
0.0
 0.0% src/Hacl_HKDF_Blake2b_256.c
13
0.0
 0.0% src/Hacl_HKDF_Blake2s_128.c
14
85.87
 -1.2% src/Hacl_RSAPSS.c
15
77.14
 0.0% src/Hacl_HKDF.c
16
97.59
 src/Hacl_MAC_Poly1305.c
19
19.61
 -1.32% src/EverCrypt_Poly1305.c
19
98.76
 src/Hacl_MAC_Poly1305_Simd128.c
20
88.41
 0.97% src/EverCrypt_HMAC.c
20
77.51
 src/Hacl_AEAD_Chacha20Poly1305.c
20
92.13
 1.2% src/Hacl_HMAC.c
22
92.69
 -0.44% src/Hacl_Hash_SHA2.c
24
81.46
 src/Hacl_AEAD_Chacha20Poly1305_Simd128.c
24
81.48
 src/Hacl_AEAD_Chacha20Poly1305_Simd256.c
25
95.4
 0.24% src/Hacl_Ed25519.c
25
86.46
 -0.15% src/Hacl_GenericField64.c
26
42.04
 -0.4% src/Hacl_Chacha20_Vec128.c
26
36.35
 -0.47% src/Hacl_Chacha20_Vec256.c
29
96.46
 src/Hacl_Hash_Blake2s.c
31
0.0
 0.0% src/Hacl_EC_K256.c
31
13.54
 0.0% src/Hacl_Hash_Base.c
37
0.0
 0.0% src/Hacl_EC_Ed25519.c
37
95.67
 src/Hacl_Hash_Blake2b.c
39
0.0
 0.0% src/Hacl_HMAC_Blake2s_128.c
39
97.99
 src/Hacl_MAC_Poly1305_Simd256.c
45
0.0
 0.0% src/Hacl_HMAC_Blake2b_256.c
64
67.82
 0.16% src/EverCrypt_Hash.c
66
89.47
 0.38% src/Hacl_K256_ECDSA.c
84
81.97
 -0.02% src/Hacl_Hash_MD5.c
84
47.94
 -7.89% src/Hacl_Hash_SHA3.c
89
0.0
 0.0% src/Hacl_FFDHE.c
96
8.84
 0.05% src/Hacl_Bignum32.c
96
8.84
 0.05% src/Hacl_Bignum64.c
118
66.2
 -2.67% src/Hacl_Bignum256.c
118
0.0
 0.0% src/Hacl_Frodo64.c
119
0.0
 0.0% src/Hacl_Frodo1344.c
119
0.0
 0.0% src/Hacl_Frodo976.c
121
0.0
 0.0% src/Hacl_Frodo640.c
129
61.84
 -1.32% src/Hacl_Bignum4096_32.c
133
62.15
 -1.24% src/Hacl_Bignum4096.c
142
64.99
 -2.86% src/Hacl_Bignum256_32.c
184
0.0
 0.0% src/Hacl_SHA2_Vec128.c
204
64.07
 1.68% src/Hacl_Bignum.c
214
67.87
 src/Hacl_Hash_Blake2b_Simd256.c
351
0.0
 0.0% src/Hacl_HPKE_Curve51_CP128_SHA256.c
351
0.0
 0.0% src/Hacl_HPKE_Curve51_CP128_SHA512.c
351
0.0
 0.0% src/Hacl_HPKE_Curve51_CP256_SHA256.c
351
0.0
 0.0% src/Hacl_HPKE_Curve51_CP256_SHA512.c
351
0.0
 0.0% src/Hacl_HPKE_Curve51_CP32_SHA256.c
351
0.0
 0.0% src/Hacl_HPKE_Curve51_CP32_SHA512.c
351
0.0
 0.0% src/Hacl_HPKE_Curve64_CP128_SHA256.c
351
0.0
 0.0% src/Hacl_HPKE_Curve64_CP128_SHA512.c
351
0.0
 0.0% src/Hacl_HPKE_Curve64_CP256_SHA256.c
351
0.0
 0.0% src/Hacl_HPKE_Curve64_CP256_SHA512.c
351
0.0
 0.0% src/Hacl_HPKE_Curve64_CP32_SHA256.c
351
0.0
 0.0% src/Hacl_HPKE_Curve64_CP32_SHA512.c
355
0.0
 0.0% src/Hacl_HPKE_P256_CP128_SHA256.c
355
0.0
 0.0% src/Hacl_HPKE_P256_CP256_SHA256.c
355
0.0
 0.0% src/Hacl_HPKE_P256_CP32_SHA256.c
363
42.56
 src/Hacl_Hash_Blake2s_Simd128.c
408
0.0
 0.0% src/Hacl_SHA2_Vec256.c
579
15.15
 -0.07% src/EverCrypt_DRBG.c
649
28.55
 0.5% src/EverCrypt_AEAD.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
93.75
 2.57% src/EverCrypt_Curve25519.c
1
86.46
 -0.15% src/Hacl_GenericField64.c
1
89.47
 0.38% src/Hacl_K256_ECDSA.c
1
85.87
 -1.2% src/Hacl_RSAPSS.c
2
8.84
 0.05% src/Hacl_Bignum32.c
2
8.84
 0.05% src/Hacl_Bignum64.c
2
81.97
 -0.02% src/Hacl_Hash_MD5.c
2
0.0
 0.0% src/Hacl_SHA2_Vec128.c
3
61.84
 -1.32% src/Hacl_Bignum4096_32.c
3
62.15
 -1.24% src/Hacl_Bignum4096.c
3
0.0
 0.0% src/Hacl_EC_Ed25519.c
3
0.0
 0.0% src/Hacl_EC_K256.c
3
0.0
 0.0% src/Hacl_Frodo1344.c
3
0.0
 0.0% src/Hacl_Frodo640.c
3
0.0
 0.0% src/Hacl_Frodo64.c
3
0.0
 0.0% src/Hacl_Frodo976.c
3
47.94
 -7.89% src/Hacl_Hash_SHA3.c
4
64.99
 -2.86% src/Hacl_Bignum256_32.c
4
66.2
 -2.67% src/Hacl_Bignum256.c
4
0.0
 0.0% src/Hacl_SHA2_Vec256.c
6
28.55
 0.5% src/EverCrypt_AEAD.c
6
88.41
 0.97% src/EverCrypt_HMAC.c
6
92.13
 1.2% src/Hacl_HMAC.c
7
86.99
 -5.61% src/EverCrypt_AutoConfig2.c
9
15.15
 -0.07% src/EverCrypt_DRBG.c
Jobs
ID Job ID Ran Files Coverage
1 7058563693.1 81
54.05
 GitHub Action Run
Source Files on build 7058563693