X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/206c5b0ffa51d0e77856156a60df89695dfe61b8..11db3170da99e22aa0acea76debd6c7b590a629c:/test/for.expect diff --git a/test/for.expect b/test/for.expect index 49c9688..cccbaf1 100644 --- a/test/for.expect +++ b/test/for.expect @@ -6,4 +6,4 @@ for.c:13:5: Possible out-of-bounds store: needed to satisfy precondition: requires maxSet(t @ for.c:13:5) >= i @ for.c:13:7 -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected