Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@dhalperi
Copy link
Member

We eliminated (or should have) this class of bug with #9554 and
related fixes. However, use verify (see
https://github.com/google/guava/wiki/ConditionalFailuresExplained) instead of
java assert to provide a better user experience if this were to happen.

@batfish-bot
Copy link

This change is Reviewable

@codecov
Copy link

codecov bot commented Oct 24, 2025

Codecov Report

❌ Patch coverage is 50.00000% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 73.28%. Comparing base (0f84538) to head (441ce2e).
⚠️ Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
.../java/org/batfish/minesweeper/bdd/TransferBDD.java 50.00% 0 Missing and 1 partial ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##           master    #9569   +/-   ##
=======================================
  Coverage   73.28%   73.28%           
=======================================
  Files        3335     3335           
  Lines      170380   170378    -2     
  Branches    20572    20572           
=======================================
- Hits       124857   124856    -1     
+ Misses      36376    36375    -1     
  Partials     9147     9147           
Files with missing lines Coverage Δ
.../java/org/batfish/minesweeper/bdd/TransferBDD.java 89.93% <50.00%> (+0.09%) ⬆️
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@dhalperi dhalperi requested a review from millstein October 24, 2025 22:24
@dhalperi dhalperi force-pushed the spr/master/7f03d493 branch from 1638c24 to 32d2bfb Compare October 24, 2025 22:25
…on equivalent

We eliminated (or should have) this class of bug with #9554 and
related fixes. However, use verify (see
https://github.com/google/guava/wiki/ConditionalFailuresExplained) instead of
java `assert` to provide a better user experience if this were to happen.

commit-id:7f03d493
@dhalperi dhalperi force-pushed the spr/master/7f03d493 branch from 32d2bfb to 441ce2e Compare October 24, 2025 22:29
Copy link
Contributor

@millstein millstein left a comment

Choose a reason for hiding this comment

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

:lgtm:

@millstein reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dhalperi)

@dhalperi dhalperi merged commit 63a09a9 into master Oct 24, 2025
10 of 11 checks passed
@dhalperi dhalperi deleted the spr/master/7f03d493 branch October 24, 2025 22:48
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.

4 participants