checker-framework icon indicating copy to clipboard operation
checker-framework copied to clipboard
verified publisher icon typetools

Boolean variables in dataflow

Open smillst opened this issue 1 year ago • 2 comments

This implementation isn't working as expected. In particular, there are unexpected errors in checker/tests/nullness/Issue406.java.
Fixes #406.

smillst avatar Sep 12 '24 16:09 smillst

@smillst Could you please add the missing documentation? Also, a test is failing.

mernst avatar Sep 13 '24 20:09 mernst

Linking this comment on the previous PR so it doesn't get lost (regarding overhead):

https://github.com/typetools/checker-framework/pull/6661#issuecomment-2297482333

msridhar avatar Sep 13 '24 22:09 msridhar