coveralls
commented
1 year ago Pull Request Test Coverage Report for Build 7023476406
- 10591 of 20338 (52.07%) changed or added relevant lines in 76 files are covered.
- 73 unchanged lines in 24 files lost coverage.
- Overall coverage increased (+1.2%) to 54.055%
| Changes Missing Coverage | Covered Lines | Changed/Added Lines | % | ||
|---|---|---|---|---|---|
| src/Hacl_Frodo_KEM.c | 0 | 1 | 0.0% | ||
| src/EverCrypt_AutoConfig2.c | 13 | 16 | 81.25% | ||
| src/EverCrypt_HKDF.c | 75 | 78 | 96.15% | ||
| src/Hacl_Hash_SHA1.c | 121 | 132 | 91.67% | ||
| src/Hacl_GenericField32.c | 84 | 97 | 86.6% | ||
| src/Hacl_HKDF_Blake2b_256.c | 0 | 13 | 0.0% | ||
| src/Hacl_HKDF_Blake2s_128.c | 0 | 13 | 0.0% | ||
| src/Hacl_RSAPSS.c | 151 | 165 | 91.52% | ||
| src/Hacl_HKDF.c | 50 | 65 | 76.92% | ||
| src/Hacl_MAC_Poly1305.c | 647 | 663 | 97.59% | ||
| <!-- | Total: | 10591 | 20338 | 52.07% | --> |
| Files with Coverage Reduction | New Missed Lines | % | ||
|---|---|---|---|---|
| src/EverCrypt_DRBG.c | 1 | 15.15% | ||
| src/Hacl_GenericField64.c | 1 | 86.46% | ||
| src/Hacl_K256_ECDSA.c | 1 | 89.47% | ||
| src/Hacl_RSAPSS.c | 1 | 85.87% | ||
| src/EverCrypt_AEAD.c | 2 | 28.55% | ||
| src/Hacl_Bignum32.c | 2 | 8.84% | ||
| src/Hacl_Bignum64.c | 2 | 8.84% | ||
| src/Hacl_Hash_MD5.c | 2 | 81.97% | ||
| src/Hacl_SHA2_Vec128.c | 2 | 0.0% | ||
| src/Hacl_Bignum4096_32.c | 3 | 61.84% | ||
| <!-- | Total: | 73 | --> |
| Totals | |
|---|---|
| Change from base Build 6482173544: | 1.2% |
| Covered Lines: | 27829 |
| Relevant Lines: | 51483 |
franziskuskiefer
follows https://github.com/hacl-star/hacl-star/pull/789