]>
Commit | Line | Data |
---|---|---|
1 | ||
2 | for.c: (in function f) | |
3 | for.c:13:5: Possible out-of-bounds store: t[i] | |
4 | Unable to resolve constraint: | |
5 | requires i @ for.c:13:7 <= 10 | |
6 | needed to satisfy precondition: | |
7 | requires maxSet(t @ for.c:13:5) >= i @ for.c:13:7 | |
8 | ||
9 | Finished checking --- 1 code warning, as expected |