MANIFEST.in
README.md
setup.py
./bin/__init__.py
./bin/svalint.py
./bin/verible_verilog_syntax.py
./sva_tests/__init__.py
./sva_tests/test_1/__init__.py
./sva_tests/test_10/__init__.py
./sva_tests/test_11/__init__.py
./sva_tests/test_12/__init__.py
./sva_tests/test_2/__init__.py
./sva_tests/test_3/__init__.py
./sva_tests/test_4/__init__.py
./sva_tests/test_5/__init__.py
./sva_tests/test_6/__init__.py
./sva_tests/test_7/__init__.py
./sva_tests/test_8/__init__.py
./sva_tests/test_9/__init__.py
./tests/__init__.py
bin/__init__.py
bin/svalint.py
bin/verible_verilog_syntax.py
sva_tests/__init__.py
sva_tests/test_1/__init__.py
sva_tests/test_10/__init__.py
sva_tests/test_11/__init__.py
sva_tests/test_12/__init__.py
sva_tests/test_2/__init__.py
sva_tests/test_3/__init__.py
sva_tests/test_4/__init__.py
sva_tests/test_5/__init__.py
sva_tests/test_6/__init__.py
sva_tests/test_7/__init__.py
sva_tests/test_8/__init__.py
sva_tests/test_9/__init__.py
svalint.egg-info/PKG-INFO
svalint.egg-info/SOURCES.txt
svalint.egg-info/dependency_links.txt
svalint.egg-info/entry_points.txt
svalint.egg-info/requires.txt
svalint.egg-info/top_level.txt
tests/__init__.py