Skip to content

Fix removeExceptionalEdge Merge Exception #1346

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

Merged
merged 6 commits into from
Jul 21, 2025

Conversation

stschott
Copy link
Collaborator

No description provided.

@stschott stschott changed the title Fix/remove exceptional edge merge exception Fix removeExceptionalEdge Merge Exception Jul 21, 2025
Copy link

codecov bot commented Jul 21, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 71.36%. Comparing base (95fb552) to head (6563dca).
Report is 7 commits behind head on develop.

Additional details and impacted files
@@              Coverage Diff              @@
##             develop    #1346      +/-   ##
=============================================
+ Coverage      71.34%   71.36%   +0.01%     
  Complexity        19       19              
=============================================
  Files            446      446              
  Lines          18439    18448       +9     
  Branches        2947     2948       +1     
=============================================
+ Hits           13156    13166      +10     
  Misses          4166     4166              
+ Partials        1117     1116       -1     
Components Coverage Δ
core 64.79% <100.00%> (+0.08%) ⬆️
java.core 71.63% <ø> (ø)
java.bytecode.frontend 79.68% <ø> (ø)
jimple.frontend 74.25% <ø> (ø)
apk.frontend 73.48% <ø> (ø)
interceptors 77.08% <ø> (-0.10%) ⬇️
callgraph 83.52% <ø> (ø)
codepropertygraph 75.12% <ø> (ø)
analysis.intraprocedural 66.24% <ø> (ø)
analysis.interprocedural 67.66% <ø> (ø)
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@swissiety swissiety enabled auto-merge July 21, 2025 14:55
@swissiety swissiety added this pull request to the merge queue Jul 21, 2025
Merged via the queue into develop with commit d5f1a41 Jul 21, 2025
4 checks passed
@swissiety swissiety deleted the fix/removeExceptionalEdgeMergeException branch July 21, 2025 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Bug]: calling removeExceptionalEdge may cause the StmtGraph to become invalid during merging blocks
2 participants