Skip to content

Add handling of redundant variable bounds - #3177

Merged
Opt-Mucca merged 4 commits into
latestfrom
fix-3170
Aug 21, 2026
Merged

Add handling of redundant variable bounds#3177
Opt-Mucca merged 4 commits into
latestfrom
fix-3170

Conversation

@Opt-Mucca

Copy link
Copy Markdown
Collaborator

See #3170 and #3172

@codecov

codecov Bot commented Jul 27, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 73.06%. Comparing base (2ed99be) to head (4d33b02).
⚠️ Report is 23 commits behind head on latest.

Additional details and impacted files
@@           Coverage Diff            @@
##           latest    #3177    +/-   ##
========================================
  Coverage   73.06%   73.06%            
========================================
  Files         445      445            
  Lines      107661   107764   +103     
  Branches    17257    17268    +11     
========================================
+ Hits        78659    78738    +79     
- Misses      28726    28750    +24     
  Partials      276      276            

☔ View full report in Codecov by Harness.
📢 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.

Co-authored-by: Eamon Hetherton <449015+EamonHetherton@users.noreply.github.com>

@fwesselm fwesselm left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Opt-Mucca, good to merge!

(I added a tiny test and hope you are OK with it...)

@Opt-Mucca

Copy link
Copy Markdown
Collaborator Author

@fwesselm I'm happy with the added test! Thanks for doing it (sorry that I often forget to do this)

@Opt-Mucca
Opt-Mucca merged commit 2100494 into latest Aug 21, 2026
536 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants