]> andersk Git - splint.git/blobdiff - test/clauses.expect
Fixed configuration problem (hopefully).
[splint.git] / test / clauses.expect
index 0177ee6a048c1c533feac7120c92e8162b493c9c..3ef45751e91b44ae0f56bd30bf73eba7f6d6c191 100644 (file)
@@ -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,11 +23,11 @@ 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
--warnunixlib to suppress this message.
+Command Line: Selecting unix library.  Unix library is ad hoc addition to POSIX
+    library.  Recommend use +posixlib to select POSIX library instead. Use
+    -warnunixlib to suppress this message.
 clauses3.c: (in function h)
 clauses3.c:48:5: Storage x->x is released in one path, but live in another.
    clauses3.c:46:10: Storage x->x is released
@@ -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
This page took 0.037611 seconds and 4 git commands to generate.