search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

Not terminating on code with compound string concatenation assignment in loop #8

Closed smillst closed 8 years ago

smillst commented 8 years ago

Code: String s = " "; for (int i = 1; i < 1; i++) { s += "|"; } (Also checked in as testdata/sparta-source/Issue8.java)

Ran for 10 mins, did not terminate.

smillst commented 8 years ago

Fixed 7ff2c1d660cf619756489302ab85eab0ddc87120