*** empty log message ***

[splint.git] / test / tests2.5 / newlint.lcd

diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd
index 01601176f2b146f70125a81d9caa7c8f547c528b..21b3c4b20e9b458178e3f7b8ee632ecbb3a47c7f 100644 (file)
--- a/test/tests2.5/newlint.lcd
+++ b/test/tests2.5/newlint.lcd
@@ -1081,7 +1081,8 @@ e2
 -1
 ;; end precondition constraints
 calloc
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@4
@@ -1104,7 +1105,8 @@ e2
 -1
 ;; end precondition constraints
 malloc
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@4
@@ -1127,7 +1129,8 @@ e2
 -1
 ;; end precondition constraints
 realloc
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@3
@@ -1176,7 +1179,8 @@ r
 2
 Param 63 2
 ;; end precondition constraints
-post:EMPTY
+post:
+;; end precondition constraints
 memmove
 pre:
 C
@@ -1204,7 +1208,8 @@ r
 2
 Param 63 2
 ;; end precondition constraints
-post:EMPTY
+post:
+;; end precondition constraints
 strcpy
 pre:
 C
@@ -1415,7 +1420,8 @@ e2
 Param 5 2
 ;; end precondition constraints
 strchr
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@3
@@ -1471,7 +1477,8 @@ r
 0
 ;; end precondition constraints
 strrchr
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@3
@@ -1527,7 +1534,8 @@ r
 0
 ;; end precondition constraints
 strstr
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@3
@@ -1626,7 +1634,8 @@ e2
 -1
 ;; end precondition constraints
 strlen
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@4
@@ -1642,7 +1651,8 @@ r
 Param 23 0
 ;; end precondition constraints
 asctime
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@4
@@ -1670,7 +1680,8 @@ r
 25
 ;; end precondition constraints
 ctime
-pre:EMPTY
+pre:
+;; end precondition constraints
 post:
 C
 0@1@4