README.md
setup.py
deps/docker_solcmc_updated
deps/run_solcmc
deps/tgnonlin
deps/tgnonlin_linux
solTg/ReportBuilder.py
solTg/RunAll.py
solTg/SolParser.py
solTg/SolidityTestGen.py
solTg/TestWrapper.py
solTg/Utils.py
solTg/__init__.py
solTg.egg-info/PKG-INFO
solTg.egg-info/SOURCES.txt
solTg.egg-info/dependency_links.txt
solTg.egg-info/entry_points.txt
solTg.egg-info/requires.txt
solTg.egg-info/top_level.txt