]> andersk Git - splint.git/blobdiff - test/simplebufferConstraintTests.expect
Fixed test suite (temporarily) to run nested test cases
[splint.git] / test / simplebufferConstraintTests.expect
index 4e51de9b8090214f435b902382d8c34f5f16d818..f2d6a89638e3637d510a2e812cf3d9c645520919 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 LCLint checking --- 7 code errors found, as expected
This page took 2.164785 seconds and 4 git commands to generate.