X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d767066b40ee6d1187273de11f2f942f8a10e1e7..0bd4c301f40f5da75d0ccdc14d1aa1c40c297305:/test/help.expect diff --git a/test/help.expect b/test/help.expect index f84ac2b..1599fb6 100644 --- a/test/help.expect +++ b/test/help.expect @@ -22,7 +22,12 @@ Topics: version (information on compilation, maintainer) -Finished checking --- no code processed +Cannot find standard library: standard.lcd + Check LARCH_PATH environment variable. +Continuing without LCL init file: lclinit.lci +Continuing without LSL init file: lslinit.lsi +Unable to find CTrait.syms or CTrait.lsl. Check LARCH_PATH environment +variable. Source files are .c, .h and .lcl files. If there is no suffix, Splint will look for .c and .lcl. @@ -361,6 +366,7 @@ Finished checking --- no code processed null nullassign nullderef + nullinit nullpass nullptrarith nullret @@ -369,7 +375,9 @@ Finished checking --- no code processed nullterminated numabstract numabstractcast + numabstractindex numabstractlit + numabstractprint numenummembers numliteral numstructfields