entropyxyz / manul

Round-based distributed protocols
https://docs.rs/manul
GNU Affero General Public License v3.0
6 stars 1 forks source link

Separate user interrupt and terminating due to errors in `SessionOutome` #58

Closed fjarri closed 1 month ago

fjarri commented 1 month ago

Fixes #19

terminate_due_to_errors() is kind of an awkward name, but I can't come up with anything better now.

Maybe we'll be able to select the reason automatically when #15 is fixed.

coveralls commented 1 month ago

Pull Request Test Coverage Report for Build 11601312655

Details


Changes Missing Coverage Covered Lines Changed/Added Lines %
manul/src/session/session.rs 14 15 93.33%
<!-- Total: 15 16 93.75% -->
Files with Coverage Reduction New Missed Lines %
manul/src/protocol/errors.rs 3 21.21%
manul/src/session/session.rs 5 76.58%
<!-- Total: 8 -->
Totals Coverage Status
Change from base Build 11600676687: -0.3%
Covered Lines: 1514
Relevant Lines: 2118

💛 - Coveralls