Remove unused cpplib_createDefinition.

[splint.git] / test / impabstract.expect

diff --git a/test/impabstract.expect b/test/impabstract.expect
index 6a1892944665908356645669fa6732e9198be0d4..37738ea7ff004993bd6b23d5f614bd3a6646a977 100644 (file)
--- a/test/impabstract.expect
+++ b/test/impabstract.expect
@@ -1,15 +1,15 @@
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings
 
 impabstract.c: (in function f)
 impabstract.c:11:7: Left operand of < is abstract type (mint): m < 2
   An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to
-  allow access to an abstract type. (-abstract will suppress message)
+  allow access to an abstract type. (Use -abstract to inhibit warning)
 impabstract.c:13:14: Return value type mint does not match declared type int: m
   Underlying types match, but mint is an abstract type that is not accessible
   here.
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
 impabstract.c:2:28: Mutable abstract type cint declared without pointer
                        indirection: int (violates assignment semantics)
@@ -17,17 +17,17 @@ impabstract.c:2:28: Mutable abstract type cint declared without pointer
   order for objects to be shared a indirection is necessary in the
   representation. A mutable type may be represented by a pointer or an abstract
   mutable type. Handles into static data are fine, too, but will generate this
-  error message unless it is suppressed. (-mutrep will suppress message)
+  error message unless it is suppressed. (Use -mutrep to inhibit warning)
 impabstract.c:2:28: Datatype cint inconsistently declared as concrete type
-  A function, variable or constant is redefined with a different type.
-  (-incondefs will suppress message)
+  A function, variable or constant is redefined with a different type. (Use
+  -incondefs to inhibit warning)
    impabstract.lcl:2:1: Specification of cint
 impabstract.c: (in function f)
 impabstract.c:6:7: Left operand of > is abstract type (cint): c > 3
   An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to
-  allow access to an abstract type. (-abstract will suppress message)
+  allow access to an abstract type. (Use -abstract to inhibit warning)
 impabstract.c:8:14: Return value type cint does not match declared type int: c
   Underlying types match, but cint is an abstract type that is not accessible
   here.
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected