OsTrusted String concatenation test fails

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Open wmdietl opened 8 years ago

wmdietl commented 8 years ago

The test at testdata/ostrusted/TestConcat.java is failing. I skipped the test for now and created this issue.