]> andersk Git - splint.git/blobdiff - test/moreBufferTests.expect
*** empty log message ***
[splint.git] / test / moreBufferTests.expect
index e92fa95625abd5e80736eeb9e0f27c4e4a5eb240..a3e9829a0f250372dda6f94ca8d4d70c97a653e4 100644 (file)
@@ -37,4 +37,4 @@ strncatNotReallyGood.c:4:21: Possible out-of-bounds store:
      derived from strncat precondition: requires maxSet(<parameter 1>) >=
     maxRead(<parameter 1>) + <parameter 3>
 
-Finished LCLint checking --- 8 code errors found
+Finished checking --- 8 code warnings, as expected
This page took 0.031164 seconds and 4 git commands to generate.