Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cleanup type conversions in java_bytecode_parsert::read #8584

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from

Cleanup type conversions in java_bytecode_parsert::read

f518b4b
Select commit
Loading
Failed to load commit list.
Open

Cleanup type conversions in java_bytecode_parsert::read #8584

Cleanup type conversions in java_bytecode_parsert::read
f518b4b
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Feb 7, 2025 in 0s

78.58% (-0.14%) compared to 66004dc

View this Pull Request on Codecov

78.58% (-0.14%) compared to 66004dc

Details

Codecov Report

Attention: Patch coverage is 71.42857% with 6 lines in your changes missing coverage. Please review.

Project coverage is 78.58%. Comparing base (66004dc) to head (f518b4b).

Files with missing lines Patch % Lines
jbmc/src/java_bytecode/java_bytecode_parser.cpp 71.42% 6 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff             @@
##           develop    #8584      +/-   ##
===========================================
- Coverage    78.71%   78.58%   -0.14%     
===========================================
  Files         1732     1732              
  Lines       199536   199870     +334     
  Branches     18281    18247      -34     
===========================================
+ Hits        157057   157058       +1     
- Misses       42479    42812     +333     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.