]> andersk Git - splint.git/blobdiff - test/constannot.expect
*** empty log message ***
[splint.git] / test / constannot.expect
index d8cfbb59412fa3acfb5508f0ef2eec21b8754ede..1c530c40201719e4caee569a3989588fbf1316f7 100644 (file)
@@ -14,4 +14,4 @@ constannot.c:20:3: Possible out-of-bounds store:
      derived from foo precondition: requires maxSet(<parameter 1>) >= <const
     int=20>
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
This page took 0.033501 seconds and 4 git commands to generate.