Prototype model-based fuzzer's replayer which can be used to reproduce uint tests #3631
Codecov / codecov/project
succeeded
Apr 20, 2026 in 1s
95.63% (-0.18%) compared to 3fa68d6
View this Pull Request on Codecov
95.63% (-0.18%) compared to 3fa68d6
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.63%. Comparing base (3fa68d6) to head (70792d1).
@@ Coverage Diff @@
## denis/simplex-quint #3631 +/- ##
=======================================================
- Coverage 95.80% 95.63% -0.18%
=======================================================
Files 439 431 -8
Lines 165224 152636 -12588
Branches 3859 3636 -223
=======================================================
- Hits 158296 145973 -12323
+ Misses 5718 5508 -210
+ Partials 1210 1155 -55 | Files with missing lines | Coverage Δ | |
|---|---|---|
| consensus/src/simplex/actors/voter/actor.rs | 96.76% <ø> (-0.84%) |
⬇️ |
| consensus/src/simplex/actors/voter/ingress.rs | 81.48% <ø> (-18.52%) |
⬇️ |
| consensus/src/simplex/actors/voter/mod.rs | 91.62% <ø> (+<0.01%) |
⬆️ |
| consensus/src/simplex/actors/voter/round.rs | 99.35% <ø> (-0.26%) |
⬇️ |
| consensus/src/simplex/actors/voter/state.rs | 98.57% <ø> (-0.22%) |
⬇️ |
| consensus/src/simplex/engine.rs | 97.60% <ø> (+0.05%) |
⬆️ |
| consensus/src/simplex/metrics.rs | 100.00% <ø> (ø) |
|
| consensus/src/simplex/mod.rs | 98.50% <ø> (+0.14%) |
⬆️ |
| consensus/src/simplex/replay/automaton.rs | 95.08% <ø> (ø) |
|
| consensus/src/simplex/replay/driver.rs | 97.26% <ø> (ø) |
|
| ... and 4 more |
... and 193 files with indirect coverage changes
Continue to review full report in Codecov by Sentry.
Legend - Click here to learn more
Δ = absolute <relative> (impact),ø = not affected,? = missing data
Powered by Codecov. Last update 3fa68d6...70792d1. Read the comment docs.
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
- 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
Loading