Skip to content

clamp ubr hyperrectangle conditions within min/max during covering#215

Merged
rpreen merged 2 commits intomasterfrom
restrict_ubr_covering
Sep 11, 2025
Merged

clamp ubr hyperrectangle conditions within min/max during covering#215
rpreen merged 2 commits intomasterfrom
restrict_ubr_covering

Conversation

@rpreen
Copy link
Copy Markdown
Member

@rpreen rpreen commented Sep 11, 2025

Currently it is possible that unordered-bound hyperrectangle conditions can be set slightly outside of the specified min/max during covering. For example, even if min is set to 0, a covered interval could be negative. This is highly unlikely to make any real performance difference (especially since during mutation, the bounds are clamped) - but this change guarantees that the intervals are always within the specified range.

@rpreen rpreen changed the title clamp ubr conditions within min/max during covering clamp ubr hyperrectangle conditions within min/max during covering Sep 11, 2025
@codecov
Copy link
Copy Markdown

codecov bot commented Sep 11, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 70.60%. Comparing base (fb9d9da) to head (f886af2).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #215   +/-   ##
=======================================
  Coverage   70.59%   70.60%           
=======================================
  Files          61       61           
  Lines        8941     8943    +2     
  Branches      934      934           
=======================================
+ Hits         6312     6314    +2     
  Misses       2629     2629           

☔ 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.

@sonarqubecloud
Copy link
Copy Markdown

@rpreen rpreen merged commit bae1e5f into master Sep 11, 2025
13 checks passed
@rpreen rpreen deleted the restrict_ubr_covering branch September 11, 2025 22:04
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.

1 participant