Ran
|
Jobs
1
|
Files
81
|
Run time
6min
|
Badge
Embed ▾
README BADGES
|
push
github
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
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 |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 7058563693.1 | 81 |
54.05 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|