coveralls
commented
3 months ago Pull Request Test Coverage Report for Build 8401379940
Details
- 5 of 5 (100.0%) changed or added relevant lines in 1 file are covered.
- 4 unchanged lines in 1 file lost coverage.
- Overall coverage increased (+1.6%) to 59.064%
| Files with Coverage Reduction | New Missed Lines | % | ||
|---|---|---|---|---|
| src/Hacl_Hash_SHA3.c | 4 | 47.94% | ||
| <!-- | Total: | 4 | --> |
| Totals | |
|---|---|
| Change from base Build 7923210392: | 1.6% |
| Covered Lines: | 38622 |
| Relevant Lines: | 65390 |
This is the corresponding C code to https://github.com/cryspen/libcrux/pull/220 and https://github.com/cryspen/libcrux/pull/224