]> andersk Git - splint.git/blobdiff - test/for.expect
Renaming - LCLint => Splint
[splint.git] / test / for.expect
index 49c96888bf75e7588284268b0241db678a1ce2c2..cccbaf1065c96aa60c33ec98db885f2ae1a1737d 100644 (file)
@@ -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
This page took 0.09834 seconds and 4 git commands to generate.