Simple modification to tests.

[splint.git] / test / help.out

diff --git a/test/help.out b/test/help.out
index a385182877c19eee33469cd5cc8ddbe7b59f0dd3..b40443c90c929cb8a82d078d8169192b466c6d2a 100644 (file)
--- 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