Skip to content

Frangel v2#27

Open
ReubenJ wants to merge 15 commits intodevfrom
frangel_v2
Open

Frangel v2#27
ReubenJ wants to merge 15 commits intodevfrom
frangel_v2

Conversation

@ReubenJ
Copy link
Copy Markdown
Member

@ReubenJ ReubenJ commented Jul 8, 2024

Reviewing work by @To5BG to split the FrAngel implementation out of HerbSearch.

@ReubenJ ReubenJ added the enhancement New feature or request label Jul 8, 2024
@ReubenJ ReubenJ self-assigned this Jul 8, 2024
@codecov
Copy link
Copy Markdown

codecov bot commented Jul 8, 2024

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).
⚠️ Report is 3 commits behind head on dev.

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants