LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
python_ta/__init__.py
python_ta/__main__.py
python_ta/upload.py
python_ta/utils.py
python_ta.egg-info/PKG-INFO
python_ta.egg-info/SOURCES.txt
python_ta.egg-info/dependency_links.txt
python_ta.egg-info/entry_points.txt
python_ta.egg-info/not-zip-safe
python_ta.egg-info/requires.txt
python_ta.egg-info/top_level.txt
python_ta/cfg/__init__.py
python_ta/cfg/cfg_generator.py
python_ta/cfg/graph.py
python_ta/cfg/visitor.py
python_ta/checkers/__init__.py
python_ta/checkers/condition_logic_checker.py
python_ta/checkers/forbidden_import_checker.py
python_ta/checkers/forbidden_io_function_checker.py
python_ta/checkers/forbidden_python_syntax_checker.py
python_ta/checkers/global_variables_checker.py
python_ta/checkers/inconsistent_or_missing_returns_checker.py
python_ta/checkers/invalid_for_target_checker.py
python_ta/checkers/invalid_name_checker.py
python_ta/checkers/invalid_range_index_checker.py
python_ta/checkers/missing_space_in_doctest_checker.py
python_ta/checkers/one_iteration_checker.py
python_ta/checkers/possibly_undefined_checker.py
python_ta/checkers/pycodestyle_checker.py
python_ta/checkers/redundant_assignment_checker.py
python_ta/checkers/shadowing_in_comprehension_checker.py
python_ta/checkers/static_type_checker.py
python_ta/checkers/top_level_code_checker.py
python_ta/checkers/type_annotation_checker.py
python_ta/checkers/unmentioned_parameter_checker.py
python_ta/checkers/unnecessary_indexing_checker.py
python_ta/config/.pylintrc
python_ta/config/__init__.py
python_ta/config/messages_config.toml
python_ta/contracts/__init__.py
python_ta/contracts/__main__.py
python_ta/debug/__init__.py
python_ta/debug/accumulation_table.py
python_ta/debug/recursion_table.py
python_ta/debug/snapshot.py
python_ta/debug/snapshot_tracer.py
python_ta/debug/webstepper/99ee5c67fd0c522b4b6a.png
python_ta/debug/webstepper/fd6133fe40f4f90440d6.png
python_ta/debug/webstepper/index.bundle.js
python_ta/debug/webstepper/index.bundle.js.LICENSE.txt
python_ta/debug/webstepper/index.html
python_ta/patches/__init__.py
python_ta/patches/checkers.py
python_ta/patches/error_messages.py
python_ta/patches/messages.py
python_ta/patches/transforms.py
python_ta/reporters/__init__.py
python_ta/reporters/color_reporter.py
python_ta/reporters/core.py
python_ta/reporters/html_reporter.py
python_ta/reporters/html_server.py
python_ta/reporters/json_reporter.py
python_ta/reporters/node_printers.py
python_ta/reporters/plain_reporter.py
python_ta/reporters/stat_reporter.py
python_ta/reporters/templates/pyta_logo_markdown.png
python_ta/reporters/templates/script.js
python_ta/reporters/templates/stylesheet.css
python_ta/reporters/templates/template.html.jinja
python_ta/transforms/__init__.py
python_ta/transforms/setendings.py
python_ta/transforms/z3_visitor.py
python_ta/util/__init__.py
python_ta/util/tree.py
python_ta/z3/__init__.py
python_ta/z3/z3_parser.py
tests/test_black.py
tests/test_check.py
tests/test_examples.py
tests/test_init_logging.py
tests/test_main.py
tests/test_setendings.py
tests/test_subclass_contracts.py
tests/test_validate_invariants.py
tests/test_z3_visitor.py