for.c: (in function f)
-for.c:13:5: Possible out-of-bounds store. Unable to resolve constraint:
+for.c:13:5: Possible out-of-bounds store: t[i]
+ Unable to resolve constraint:
requires i @ for.c:13:7 <= 10
needed to satisfy precondition:
requires maxSet(t @ for.c:13:5) >= i @ for.c:13:7
-Finished LCLint checking --- 1 code error found
+Finished checking --- 1 code warning, as expected