LICENSE.txt
MANIFEST.in
README.md
requirements.txt
setup.py
deps/run_solcmc
deps/solc
deps/tgnonlin
solTg/ReportBuilder.py
solTg/RunAll.py
solTg/SolParser.py
solTg/SolidityTestGen.py
solTg/TestWrapper.py
solTg/Utils.py
solTg/__init__.py
solTg_plus.egg-info/PKG-INFO
solTg_plus.egg-info/SOURCES.txt
solTg_plus.egg-info/dependency_links.txt
solTg_plus.egg-info/entry_points.txt
solTg_plus.egg-info/requires.txt
solTg_plus.egg-info/top_level.txt