Repository navigation
Drop the ArrayDeque spec workaround, OpenJML 21.0.29 has the fix - #188
Merged
Merged
Codecov / codecov/project
succeeded
Oct 20, 2026 in 1s
96.99% (+0.00%) compared to f0b27a9
View this Pull Request on Codecov
96.99% (+0.00%) compared to f0b27a9
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.99%. Comparing base (f0b27a9) to head (920fc7d).
Additional details and impacted files
@@ Coverage Diff @@
## main #188 +/- ##
=========================================
Coverage 96.99% 96.99%
Complexity 116 116
=========================================
Files 1 1
Lines 266 266
Branches 29 29
=========================================
Hits 258 258
Misses 2 2
Partials 6 6 ☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.
Loading