Closed duesee closed 1 year ago
Files with Coverage Reduction | New Missed Lines | % | ||
---|---|---|---|---|
src/EverCrypt_Curve25519.c | 11 | 67.65% | ||
src/EverCrypt_AutoConfig2.c | 17 | 82.1% | ||
src/Hacl_Curve25519_64.c | 293 | 0% | ||
<!-- | Total: | 321 | --> |
Totals | |
---|---|
Change from base Build 3639766786: | -0.5% |
Covered Lines: | 33436 |
Relevant Lines: | 60312 |
This closes #295