Added support for or constraints.

[splint.git] / test / help.out

diff --git a/test/help.out b/test/help.out
index b40443c90c929cb8a82d078d8169192b466c6d2a..6e9fb9e349649b6c842628a2f5df94c750fb1575 100644 (file)
--- a/test/help.out
+++ b/test/help.out
@@ -328,6 +328,7 @@ Finished LCLint checking --- no code processed
    oldstyle                    
    onlytrans                   
    onlyunqglobaltrans          
+   orconstraint                
    overload                    
    ownedtrans                  
    paramimptemp                
@@ -902,6 +903,7 @@ 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
+orconstraint --- Use limited OR expressions to resolve constraints
 nullterminated --- misuse of nullterminated allocation
 nullderef --- possible dereferencce of null pointer
 fcnderef --- dereferencce of a function type