Frangel v2 - #27
Open
ReubenJ wants to merge 15 commits into
Open
Codecov / codecov/project
succeeded
Oct 28, 2025 in 0s
60.00% (+31.42%) compared to be34437
View this Pull Request on Codecov
60.00% (+31.42%) compared to be34437
Details
Codecov Report
❌ Patch coverage is 66.02564% with 53 lines in your changes missing coverage. Please review.
✅ Project coverage is 60.00%. Comparing base (be34437) to head (97721fa).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/interpreter.jl | 40.25% | 46 Missing |
| src/angelic_conditions/execute_angelic.jl | 87.23% | 6 Missing |
| src/angelic_conditions/bit_trie.jl | 96.87% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## dev #27 +/- ##
===========================================
+ Coverage 28.57% 60.00% +31.42%
===========================================
Files 2 4 +2
Lines 105 225 +120
===========================================
+ Hits 30 135 +105
- Misses 75 90 +15 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
Loading