Tagir Valeev c2e018c7e3 [java-dfa] Do not flush the pure method result facts ...

Otherwise, we lose locality

GitOrigin-RevId: aed2cd27ea1c412f16deaaea346791484e02f390

2024-07-05 19:36:03 +00:00

..

resources/messages

[java-dfa] IDEA-355908 Add new mutation contract option: io

2024-07-04 21:05:23 +00:00

src

[java-dfa] Do not flush the pure method result facts

2024-07-05 19:36:03 +00:00

intellij.java.analysis.impl.iml

…