cryspen
/
hacl-packages
/
5808703668
51%
main: 48%
main: 48%
|
Ran
|
Jobs
1
|
Files
97
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
github
web-flow7433 of 7433 new or added lines in 12 files covered. (100.0%)
31975 of 62256 relevant lines covered (51.36%)
1238863.46 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 48 |
68.63 |
src/Hacl_AES_128_GCM_CT64.c | |
| 48 |
68.63 |
src/Hacl_AES_256_GCM_CT64.c | |
| 86 |
95.1 |
src/Hacl_Gf128_CT64.c | |
| 129 |
0.0 |
src/Hacl_AES_256_GCM_NI.c | |
| 278 |
71.52 |
src/Hacl_AES_128_CTR32_BitSlice.c | |
| 297 |
0.0 |
src/Hacl_Gf128_NI.c | |
| 353 |
0.0 |
src/Hacl_AES_128_GCM_NI.c | |
| 364 |
36.14 |
src/Hacl_AES_256_CTR32_BitSlice.c | |
| 399 |
26.49 |
-1.57% | src/EverCrypt_AEAD.c |
| 1020 |
0.0 |
src/Hacl_AES_128_CTR32_NI.c | |
| 1360 |
0.0 |
src/Hacl_AES_256_CTR32_NI.c |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 11 |
26.49 |
-1.57% | src/EverCrypt_AEAD.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 5808703668.1 | 97 |
51.36 |
GitHub Action Run |
