coveralls
commented
1 year ago Pull Request Test Coverage Report for Build 4251954977
- 570 of 1083 (52.63%) changed or added relevant lines in 6 files are covered.
- 1 unchanged line in 1 file lost coverage.
- Overall coverage decreased (-0.2%) to 53.441%
| Changes Missing Coverage | Covered Lines | Changed/Added Lines | % | ||
|---|---|---|---|---|---|
| src/EverCrypt_Hash.c | 0 | 16 | 0.0% | ||
| src/Hacl_Streaming_SHA2.c | 53 | 73 | 72.6% | ||
| src/Hacl_Hash_SHA1.c | 214 | 252 | 84.92% | ||
| src/Hacl_Hash_SHA3.c | 294 | 484 | 60.74% | ||
| src/Hacl_Hash_MD5.c | 3 | 252 | 1.19% | ||
| <!-- | Total: | 570 | 1083 | 52.63% | --> |
| Files with Coverage Reduction | New Missed Lines | % | ||
|---|---|---|---|---|
| src/Hacl_Streaming_SHA2.c | 1 | 87.91% | ||
| <!-- | Total: | 1 | --> |
| Totals | |
|---|---|
| Change from base Build 4206951618: | -0.2% |
| Covered Lines: | 30398 |
| Relevant Lines: | 56881 |
franziskuskiefer
Updating to hacl-star/hacl-star#780
This should only be merged after hacl-star/hacl-star#780 was merged and use main instead of the branch.