Renaming - LCLint => Splint

[splint.git] / test / specclauses.expect

diff --git a/test/specclauses.expect b/test/specclauses.expect
index f6b32c06d4dbe33d46dd611069b11e0acc548cfd..04a3972531f0f83b67f27002ffc16f6b09d8699c 100644 (file)
--- a/test/specclauses.expect
+++ b/test/specclauses.expect
@@ -13,7 +13,7 @@ specclauses.c:34:17: Only storage r.name (type char *) derived from variable
 specclauses.c:40:23: Field r.name used after being released
    specclauses.c:39:17: Storage r.name released
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
 
 specclauses2.c:10:13: Allocates clauses includes r->year of non-dynamically
                          allocated type int
@@ -40,7 +40,7 @@ specclauses2.c: (in function freeName4)
 specclauses2.c:76:2: Unreleased storage r->name corresponds to storage listed
                         in releases clause
 
-Finished LCLint checking --- 8 code errors found, as expected
+Finished checking --- 8 code warnings, as expected
 
 specclauses3.c:7:6: Special clause accesses field of non-struct or union result
                        (int): *(result).name
@@ -57,7 +57,7 @@ specclauses3.c: (in function createName4)
 specclauses3.c:55:10: Unallocated storage res->name corresponds to storage
                          result->name listed in allocates clause: res
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
 
 specclauses4.c: (in function usename)
 specclauses4.c:13:4: Dereference of null pointer *name: **name
@@ -69,7 +69,7 @@ specclauses4.c: (in function nullname2)
 specclauses4.c:42:2: Non-null storage *name corresponds to storage listed in
                         ensures isnull clause
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
 
 specclauses5.c: (in function createrecord2)
 specclauses5.c:31:10: Null storage r->name derivable from return value: r
@@ -82,4 +82,4 @@ specclauses5.c:49:10: Observer storage r->name reachable from unqualified
                          return value
    specclauses5.c:48:27: Storage r->name becomes observer
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected