splint now tried to define a symbol based on the current processor type.

[splint.git] / test / clauses.out

diff --git a/test/clauses.out b/test/clauses.out
index 0177ee6a048c1c533feac7120c92e8162b493c9c..36ca6ffc9cd6b60e56d9c97c04786f9d7fd3a0d2 100644 (file)
--- a/test/clauses.out
+++ b/test/clauses.out
@@ -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