X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7bf960677344d11a101697c76672a0be4b3759f2..b2d6351a4779b8f0c4e781915f41191b8a3c1150:/test/mystrncat.expect diff --git a/test/mystrncat.expect b/test/mystrncat.expect index 4bb212d..848c8dd 100644 --- a/test/mystrncat.expect +++ b/test/mystrncat.expect @@ -21,4 +21,4 @@ mystrncat.c:13:3: Possible out-of-bounds store: derived from mystrncat precondition: requires maxSet() >= maxRead() + -Finished LCLint checking --- 4 code errors found, as expected +Finished checking --- 4 code warnings, as expected