formal-models: extend dBFT with additional post-commit phase #116
Codecov / codecov/project
succeeded
Jun 24, 2024 in 0s
63.31% (+0.00%) compared to 96105d0
View this Pull Request on Codecov
63.31% (+0.00%) compared to 96105d0
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 63.31%. Comparing base (
96105d0
) to head (de50c7b
).
Additional details and impacted files
@@ Coverage Diff @@
## master #116 +/- ##
=======================================
Coverage 63.31% 63.31%
=======================================
Files 27 27
Lines 1510 1510
=======================================
Hits 956 956
Misses 489 489
Partials 65 65
☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading