search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Fix `mainIs` to also work in inference mode #368

Closed piyush-J closed 2 years ago