Renaming - LCLint => Splint

[splint.git] / test / null6.lcd

diff --git a/test/null6.lcd b/test/null6.lcd
index d6a561f4aefcb9dc7f45de5d776b34e25414776a..006338c8a87da900aa90c72d4a0992b1334ede1c 100644 (file)
--- a/test/null6.lcd
+++ b/test/null6.lcd
@@ -1,6 +1,6 @@
-;;LCLint Dump: null6.lcd
-;;LCLint 3.0.0.9 --- 23 July 2001
-;;lib:168
+;;; Splint Library  null6.lcd
+;;Splint 3.0.0.20 --- 5 October 2001
+;;lib:169
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -1238,9 +1238,16 @@ l
 2
 Param 20 0
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 C
 0@1@3
 l
@@ -1250,9 +1257,16 @@ l
 2
 Param 20 1
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:
 ;; end precondition constraints
@@ -1267,9 +1281,16 @@ l
 2
 Param 20 0
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 C
 0@1@3
 l
@@ -1279,9 +1300,16 @@ l
 2
 Param 20 1
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:
 ;; end precondition constraints
@@ -1479,7 +1507,7 @@ l
 3
 2
 2
-Result
+Param 23 0
 r
 0
 1