Preview

lint
- LICENSE
  
  11.4 kB
- LICENSES
  - Apache-2.0.txt
    
    10.3 kB
  - BSD-2-Clause.txt
    
    1.3 kB
  - LicenseRef-unknown.txt
    
    50 Bytes
- README.md
  
  4.8 kB
- correctness-witness-schema.yaml
  
  2.8 kB
- correctness-witness-schema.yaml.license
  
  191 Bytes
- violation-witness-schema.yaml
  
  3.5 kB
- violation-witness-schema.yaml.license
  
  191 Bytes
- witnesslint
  - constants.py
    
    1.1 kB
  - graphml_linter
    - graphml_linter.py
      
      39.7 kB
    - graphml_witness.py
      
      5.0 kB
  - linter.py
    
    411 Bytes
  - logger.py
    
    2.3 kB
  - programanalysis.py
    
    1.0 kB
  - utils.py
    
    1.6 kB
  - witnesslint.py
    
    4.6 kB
  - yaml_linter
    - constants.py
      
      478 Bytes
    - yaml_linter.py
      
      5.8 kB
    - yaml_witness.py
      
      3.8 kB
- witnesslinter.py
  
  553 Bytes