]> andersk Git - splint.git/blobdiff - test/help.expect
Fixed configuration problem (hopefully).
[splint.git] / test / help.expect
index ee0ae93953f7cb993cd847f52c2359181edfac6d..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               
This page took 0.033853 seconds and 4 git commands to generate.