PyPI page
Home page
Author:
Dowsers SAS
Summary:
A symbolic testing tool for EVM smart contracts
Latest version:
0.2.0
Required dependencies:
eth-hash
|
psutil
|
python-dotenv
|
requests
|
rich
|
sortedcontainers
|
toml
|
xxhash
|
yices-solver
|
z3-solver
Optional dependencies:
pre-commit
|
pytest
|
pytest-github-actions-annotate-failures
|
ruff
Downloads last day:
87
Downloads last week:
89
Downloads last month:
129
7-day smoothing