]> andersk Git - splint.git/blobdiff - test/buffertest.expect
Pushed back constraintResolve.c to the previous version.
[splint.git] / test / buffertest.expect
index a22a2cb78666f015cc0a7a1119861b7360147484..038b9c6137219a4d5e0560cdd948779788bc9ab2 100644 (file)
@@ -19,4 +19,4 @@ buffertest1.c:21:10: Possible out-of-bounds read:
      needed to satisfy precondition:
     requires maxRead(g @ buffertest1.c:21:10) >= 1
 
-Finished LCLint checking --- 5 code errors found, as expected
+Finished checking --- 5 code warnings, as expected
This page took 0.198841 seconds and 4 git commands to generate.