README.md
setup.py
certora_cli/__init__.py
certora_cli/certoraBuild.py
certora_cli/certoraRun.py
certora_cli/certoraTester.py
certora_cli/certoraUtils.py
certora_cli_beta.egg-info/PKG-INFO
certora_cli_beta.egg-info/SOURCES.txt
certora_cli_beta.egg-info/dependency_links.txt
certora_cli_beta.egg-info/entry_points.txt
certora_cli_beta.egg-info/requires.txt
certora_cli_beta.egg-info/top_level.txt