X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/16c024b587f5ddc115928d5cca7095508aa208d9..35b9a1d988c06908076e3a6eeae55b1147879607:/test/manual.expect diff --git a/test/manual.expect b/test/manual.expect index e5471d8..e975c00 100644 --- a/test/manual.expect +++ b/test/manual.expect @@ -202,7 +202,7 @@ ignore.c:10: Return value (type bool) ignored: fb() Finished checking --- 1 code warning, as expected -setChar.c:5: Possible out-of-bounds store: +setChar.c:5: Likely out-of-bounds store: buf[10] Unable to resolve constraint: requires 9 >= 10