Metadata-Version: 2.1
Name: ethcheck
Version: 0.1.0
Summary: A Python tool for verifying Ethereum Consensus Specification using ESBMC
Home-page: https://github.com/esbmc/ethcheck
Author: Bruno Farias
Author-email: brunocarvalhofarias@gmail.com
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: POSIX :: Linux
Requires-Python: >=3.7
License-File: LICENSE
Requires-Dist: colorama
Requires-Dist: pytest
Requires-Dist: ast2json
