]> andersk Git - splint.git/blobdiff - test/help.expect
Fixed manual typo.
[splint.git] / test / help.expect
index 06d63fd8fbbd29314721a13f4cb251e86c030b16..86c6a6e401b10aed8b2dacb1bbd501456d4cac4e 100644 (file)
@@ -88,6 +88,7 @@ Finished checking --- no code processed
    booltrue                    
    booltype                    
    bounds                      
+   boundscompacterrormessages  
    boundsread                  
    boundswrite                 
    branchstate                 
@@ -422,7 +423,7 @@ Finished checking --- no code processed
    singleinclude               
    sizeofformalarray           
    sizeoftype                  
-   skipansiheaders             
+   skipisoheaders              
    skipposixheaders            
    skipsysheaders              
    slashslashcomment           
@@ -452,6 +453,7 @@ Finished checking --- no code processed
    strictusereleased           
    stringliterallen            
    stringliteralnoroom         
+   stringliteralnoroomfinalnull
    stringliteralsmaller        
    stringliteraltoolong        
    structimponly               
@@ -505,6 +507,7 @@ Finished checking --- no code processed
    warnmissingglobsnoglobs     
    warnposixheaders            
    warnrc                      
+   warnsysfiles                
    warnunixlib                 
    warnuse                     
    whichlib                    
This page took 0.063192 seconds and 4 git commands to generate.