X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/470b7798e9c04260b853bd5600fefc03abb04dfe..1bd3b025e65aa3d7b45ecf8f3f0d832197cd997f:/test/help.out

diff --git a/test/help.out b/test/help.out
index a385182..b40443c 100644
--- a/test/help.out
+++ b/test/help.out
@@ -217,6 +217,7 @@ Finished LCLint checking --- no code processed
    impcheckmodspecglobs        
    impcheckmodstatics          
    impconj                     
+   implictconstraint           
    impouts                     
    imptype                     
    includenest                 
@@ -900,6 +901,7 @@ arraywrite --- possible buffer overflow from an out of bounds write
 fcnpost --- Function has the post condition
 fcnconstraint --- unresolved constraint
 constraintlocation --- display full c expression for every constraint generated
+implictconstraint --- Try to generate implicit constraints for functions
 nullterminated --- misuse of nullterminated allocation
 nullderef --- possible dereferencce of null pointer
 fcnderef --- dereferencce of a function type