Ran
|
Jobs
1
|
Files
86
|
Run time
4s
|
Badge
README BADGES
|
github
923 of 923 new or added lines in 41 files covered. (100.0%)
29033 of 54920 relevant lines covered (52.86%)
1191732.37 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
62.66 |
0.26% | src/Hacl_Bignum.c |
1 |
74.04 |
0.0% | src/Hacl_Hash_Blake2b_256.c |
1 |
73.46 |
0.0% | src/Hacl_Hash_Blake2s_128.c |
1 |
81.92 |
-0.06% | src/Hacl_Hash_MD5.c |
1 |
0.0 |
0.0% | src/Hacl_Streaming_Blake2s_128.c |
1 |
0.0 |
0.0% | src/Hacl_Streaming_Poly1305_256.c |
2 |
87.62 |
0.18% | src/EverCrypt_HMAC.c |
2 |
91.08 |
0.14% | src/Hacl_HMAC.c |
3 |
68.91 |
0.04% | src/Hacl_Bignum256.c |
3 |
67.9 |
0.05% | src/Hacl_Bignum256_32.c |
3 |
8.73 |
-0.05% | src/Hacl_Bignum32.c |
3 |
63.35 |
-0.04% | src/Hacl_Bignum4096.c |
3 |
63.12 |
-0.04% | src/Hacl_Bignum4096_32.c |
3 |
8.73 |
-0.05% | src/Hacl_Bignum64.c |
6 |
20.0 |
-0.93% | src/EverCrypt_Poly1305.c |
6 |
0.0 |
0.0% | src/Hacl_HMAC_Blake2b_256.c |
6 |
0.0 |
0.0% | src/Hacl_HMAC_Blake2s_128.c |
24 |
0.0 |
0.0% | src/Hacl_Frodo1344.c |
24 |
0.0 |
0.0% | src/Hacl_Frodo64.c |
24 |
0.0 |
0.0% | src/Hacl_Frodo640.c |
24 |
0.0 |
0.0% | src/Hacl_Frodo976.c |
204 |
28.23 |
0.18% | src/EverCrypt_AEAD.c |
304 |
15.23 |
0.01% | src/EverCrypt_DRBG.c |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
93.75 |
2.57% | src/EverCrypt_Curve25519.c |
1 |
67.64 |
-0.03% | src/EverCrypt_Hash.c |
4 |
28.23 |
0.18% | src/EverCrypt_AEAD.c |
16 |
15.23 |
0.01% | src/EverCrypt_DRBG.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 6321338060.1 | 86 |
52.86 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|