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
Fix potential exponential behavior in obligation tracking in Must Cal… #6567
Conversation
…l Inference; fixes #6566
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks great, thanks for the fix!
import java.util.ArrayList; | ||
import java.util.List; | ||
|
||
public class FuzzyEngine { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Just checking, did you confirm that without your fix, you see the exponential behavior on this input when running the inference regression tests?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@mernst does the CI failure on this PR look like flakiness to you? |
...ker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
Outdated
Show resolved
Hide resolved
...ker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
Outdated
Show resolved
Hide resolved
Yes. Errors in "junit_jdk11" and "junit_jdk17" without an error in "junit_jdk21" are almost always CI flakiness. Suzanne and I have not yet figured it out, but I can click the "rerun" button. (For now, there are two minor typos to fix.) |
…l Inference; fixes #6566