]> andersk Git - splint.git/blobdiff - test/simplebufferConstraintTests.expect
Changed checking of complete descruction so +strictdestroy is no
[splint.git] / test / simplebufferConstraintTests.expect
index 4e51de9b8090214f435b902382d8c34f5f16d818..c81ec83d3513e707ba106fcd5bb31975fada0253 100644 (file)
@@ -30,4 +30,4 @@ test7.c:8:3: Possible out-of-bounds store:
      needed to satisfy precondition:
     requires maxSet(j @ test7.c:8:3) >= 0
 
-Finished LCLint checking --- 7 code errors found
+Finished checking --- 7 code warnings, as expected
This page took 0.029458 seconds and 4 git commands to generate.