2 Finished LCLint checking --- no code errors found
3 /a/apollo.cs.Virginia.EDU/af9/drl7x/re/LCLintDev/test/maxset
5 maxsetnoannotations.c: (in function noancopy)
6 maxsetnoannotations.c:5:2: Unresolved constraint:
7 Lclint is unable to resolve Requires: : MAXSET ((a @ maxsetnoannotations.c:4
8 :9 ) ) >= MAXREAD ((b @ maxsetnoannotations.c:4:11 ) ) needed to satisfy
9 Requires: : MAXSET ((a @ maxsetnoannotations.c:4:9 ) ) >= MAXREAD ((b @
10 maxsetnoannotations.c:4:11 ) )
12 Finished LCLint checking --- 1 code error found