coveralls
commented
9 months ago Pull Request Test Coverage Report for Build 6321338060
- 273 of 923 (29.58%) changed or added relevant lines in 41 files are covered.
- 22 unchanged lines in 4 files lost coverage.
- Overall coverage increased (+0.1%) to 52.864%
| Changes Missing Coverage | Covered Lines | Changed/Added Lines | % | ||
|---|---|---|---|---|---|
| src/Hacl_Bignum.c | 15 | 16 | 93.75% | ||
| src/Hacl_Hash_Blake2b_256.c | 4 | 5 | 80.0% | ||
| src/Hacl_Hash_Blake2s_128.c | 4 | 5 | 80.0% | ||
| src/Hacl_Hash_MD5.c | 0 | 1 | 0.0% | ||
| src/Hacl_Streaming_Blake2s_128.c | 0 | 1 | 0.0% | ||
| src/Hacl_Streaming_Poly1305_256.c | 0 | 1 | 0.0% | ||
| src/EverCrypt_HMAC.c | 34 | 36 | 94.44% | ||
| src/Hacl_HMAC.c | 34 | 36 | 94.44% | ||
| src/Hacl_Bignum256.c | 8 | 11 | 72.73% | ||
| src/Hacl_Bignum256_32.c | 8 | 11 | 72.73% | ||
| <!-- | Total: | 273 | 923 | 29.58% | --> |
| Files with Coverage Reduction | New Missed Lines | % | ||
|---|---|---|---|---|
| src/EverCrypt_Curve25519.c | 1 | 93.75% | ||
| src/EverCrypt_Hash.c | 1 | 67.64% | ||
| src/EverCrypt_AEAD.c | 4 | 28.23% | ||
| src/EverCrypt_DRBG.c | 16 | 15.23% | ||
| <!-- | Total: | 22 | --> |
| Totals | |
|---|---|
| Change from base Build 5829255803: | 0.1% |
| Covered Lines: | 29033 |
| Relevant Lines: | 54920 |
There are some manual changes to fixup https://github.com/hacl-star/hacl-star/pull/844