Add CFI with `addDeepPreference` method to add nested constraints - Githubissues

opprop / checker-framework-inference

Inference of pluggable types for Java

6 stars 13 forks source link

Add CFI with `addDeepPreference` method to add nested constraints #412

Open AndrewShf opened 1 year ago