X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..5e211f69ddc6240f0db9af54a57134d237401d37:/test/clauses.expect

diff --git a/test/clauses.expect b/test/clauses.expect
index 0177ee6..36ca6ff 100644
--- a/test/clauses.expect
+++ b/test/clauses.expect
@@ -12,9 +12,9 @@ clauses.c:20:5: Variable z is released in true branch, but live in false
                    branch.
    clauses.c:15:13: Storage z is released
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings
 
 clauses3.c: (in function h)
 clauses3.c:48:5: Storage x->x is released in one path, but live in another.
@@ -23,7 +23,7 @@ clauses3.c: (in function m)
 clauses3.c:61:5: Storage x->x is released in one path, but live in another.
    clauses3.c:60:13: Storage x->x is released
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 Warning: selecting unix library.  Unix library is ad hoc addition to POSIX
 library.  Recommend use +posixlib to select POSIX library instead. Use
@@ -37,4 +37,4 @@ clauses3.c:60:13: Possibly null storage x->x passed as non-null param:
 clauses3.c:61:5: Storage x->x is released in one path, but live in another.
    clauses3.c:60:13: Storage x->x is released
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected