*** 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 6cdc919a4af35b9bfb598d97e754d13d288c7438..14ec5445e66550a0ef2e5abad2b7860bd70c8df7 100644 (file)
--- a/test/tests2.5/newlint.lcd
+++ b/test/tests2.5/newlint.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: newlint.lcd
-;;LCLint 3.0b-alpha --- 20 June 2001
+;;LCLint 3.0.0.7 --- 12 July 2001
 ;;lib:168
 ;;ctTable
 0 u-2 19 38
@@ -583,12 +583,12 @@
 3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
 3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
 3 f574 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,)!
-3 f574 (23|@5|4@0@9&#,23|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,5|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,5|$#,)!
-3 f574 (23|@5|4@0@9&#,23|$#,5|$#,)!
+3 f0 (23|@5|0@0@9&#,23|$#,)!
+3 f1 (23|@5|0@0@9&#,23|$#,)!
+3 f574 (23|@5|0@0@9&#,23|$#,)!
+3 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
+3 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
+3 f574 (23|@5|0@0@9&#,23|$#,63|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -1394,7 +1394,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 post:
 C
@@ -1417,7 +1417,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 strchr
 pre: