feat: formal verification suite (OpenJML ESC/RAC + JPF) in a separate CI pipeline - #158
Merged
Merged
Codecov / codecov/project
succeeded
Sep 13, 2026 in 1s
96.99% (+0.10%) compared to 04fd290
View this Pull Request on Codecov
96.99% (+0.10%) compared to 04fd290
Details
Codecov Report
❌ Patch coverage is 96.73913% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 96.99%. Comparing base (04fd290) to head (702b945).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| .../java/net/ladenthin/streambuffer/StreamBuffer.java | 96.73% | 0 Missing and 3 partials |
Additional details and impacted files
@@ Coverage Diff @@
## main #158 +/- ##
============================================
+ Coverage 96.88% 96.99% +0.10%
- Complexity 94 116 +22
============================================
Files 1 1
Lines 257 266 +9
Branches 33 29 -4
============================================
+ Hits 249 258 +9
Misses 2 2
Partials 6 6 ☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.
Loading