]> andersk Git - splint.git/blobdiff - test/mystrncat.expect
Removed /bin/csh from tainted/Makefile
[splint.git] / test / mystrncat.expect
index 4bb212ddd8e04a33c48e17878ad03fa62e9e7bef..848c8dd74e47ed2ead748886c603dc7dae6fe277 100644 (file)
@@ -21,4 +21,4 @@ mystrncat.c:13:3: Possible out-of-bounds store:
      derived from mystrncat precondition:
     requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3>
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
This page took 0.032859 seconds and 4 git commands to generate.