Finshed basic merge. Still trying to get it through the test suit.

[splint.git] / test / czechnames.out

diff --git a/test/czechnames.out b/test/czechnames.out
index 3fe4ae9ff5da8bfebf57275202fc828d66f94998..e354f5a03a3165ce889987942bd93a3810dcf63e 100644 (file)
--- a/test/czechnames.out
+++ b/test/czechnames.out
@@ -19,6 +19,18 @@ czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
 
 Finished LCLint checking --- 1 code error found, as expected
 
+bool.h:22: Function bool_initMod name violates Czech naming convention. Type
+              bool is not accessible.
+  Use +accessczech to allow access to type <t> in functions named <t>_<name>.
+bool.h:25: Function bool_unparse name violates Czech naming convention. Type
+              bool is not accessible.
+  Use +accessczech to allow access to type <t> in functions named <t>_<name>.
+bool.h:28: Function bool_not name violates Czech naming convention. Type bool
+              is not accessible.
+  Use +accessczech to allow access to type <t> in functions named <t>_<name>.
+bool.h:31: Function bool_equal name violates Czech naming convention. Type bool
+              is not accessible.
+  Use +accessczech to allow access to type <t> in functions named <t>_<name>.
 czechnames.c:4:5: Variable pivo_pyet name violates Czech naming convention.
     Czech prefix pivo names an abstract type that is not accessible.
   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
@@ -38,4 +50,4 @@ czechnames.c:15:11: Left operand of == is abstract type (pivo): p == 1
 czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
                       convention.  Accessible types: pivo
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished LCLint checking --- 10 code errors found, expected 6