coveralls
commented
1 week ago Pull Request Test Coverage Report for Build 11903791955
Details
- 48 of 49 (97.96%) changed or added relevant lines in 5 files are covered.
- 1 unchanged line in 1 file lost coverage.
- Overall coverage increased (+1.0%) to 69.607%
| Changes Missing Coverage | Covered Lines | Changed/Added Lines | % | ||
|---|---|---|---|---|---|
| manul/src/session/session.rs | 29 | 30 | 96.67% | ||
| <!-- | Total: | 48 | 49 | 97.96% | --> |
| Files with Coverage Reduction | New Missed Lines | % | ||
|---|---|---|---|---|
| manul/src/session/transcript.rs | 1 | 57.23% | ||
| <!-- | Total: | 1 | --> |
| Totals | |
|---|---|
| Change from base Build 11903754480: | 1.0% |
| Covered Lines: | 1807 |
| Relevant Lines: | 2596 |
Stacked on top of #71
Closes #2
CorrectnessProof.FinalizeErroronly containsLocalErrornow, it is removed as well and replaced with justLocalError.I think it is safe to assume that any attributable error in the protocol would occur at
receive_message()stage. At least for now, I would like to see an example of a protocol where it is not the case.