Runs on test suite wu-ftpd and bind without crashing or producing obvious errors.

[splint.git] / test / maxset.expect

diff --git a/test/maxset.expect b/test/maxset.expect
index 322718b53edec2558fd0dcfcff120962162b36bf..3e75005cae87180e04f09e36cd1263ac28da149f 100644 (file)
--- a/test/maxset.expect
+++ b/test/maxset.expect
@@ -1,12 +1,13 @@
 
 Finished LCLint checking --- no code errors found
-/a/apollo.cs.Virginia.EDU/af9/drl7x/re/LCLintDev/test/maxset
+/afs/cert.org/usr/dlaroche/LCLintDev/test/maxset
 
 maxsetnoannotations.c: (in function noancopy)
 maxsetnoannotations.c:4:1: Unresolved constraint:
     Lclint is unable to resolve Requires: : MAXSET ((a @ maxsetnoannotations.c:4
     :9 ) )  >=  MAXREAD ((b @ maxsetnoannotations.c:4:11 ) ) needed to satisfy
     Requires: : MAXSET ((a @ maxsetnoannotations.c:4:9 ) )  >=  MAXREAD ((b @
-    maxsetnoannotations.c:4:11 ) )
+    maxsetnoannotations.c:4:11 ) ) derived from strcpy precondition: Requires:
+    : MAXSET ((<parameter 1> ) )  >=  MAXREAD ((<parameter 2> ) )
 
 Finished LCLint checking --- 1 code error found