Report for

Matches in value-assignements (V): {{numOfValueMatches}}

Matches in edge-description: {{numOfDescriptionMatches}} 


              
Rank

              
Scope

            

            

              
                
-V-

              		
              
              
                
{{line.bestrank}}

              		
              
              
                
{{line.desc}}

              		
            

          

          

            

              
                Precondition (initial variable assignment):
              
            

            

              
                
{{precondition}}

              		
            

          

          

            

              
                {{fault.rank}}.
              
              
                {{fault.score}}
              
              Details:
            

            

              
                


                

                  
                    Current values:
                  
                  

                    

                      Name
                      Value
                    

                    

                      
                      
                    

                  

                

              		
            

          

        

      


      

        

        

          
        


        

          
        


        


        


        

          

            
            
          

          
        

        

          
        

        

          
        

        

          
        

        

          
About

          

            This table was generated by
            CPAchecker. For feedback, questions, and bug reports please use our
            issue tracker.
          

          

            License:
            
              Apache 2.0 License
            
          

          

            
              This application includes third-party dependencies under different
              licenses. Click here to view them.
            
            

              

                
                  {{dependency.name}} {{dependency.version}}
                
              

              

                Source:
                
                  {{dependency.repository}}
                
              

              
{{dependency.copyright}}

              

                License:
                
              

              

                

                  Full text of license
                  
{{dependencies.licenses[dependency.licenseId]}}