checker-framework icon indicating copy to clipboard operation
checker-framework copied to clipboard

Rename `stores` to `inputs` for consistency with `AbstractAnalysis`

Open mernst opened this issue 3 months ago • 0 comments

mernst avatar May 18 '24 19:05 mernst