PyPI page
Home page
Author:
None
Summary:
typechecking tool extension of slither
Latest version:
0.1.0
Required dependencies:
argparse
|
slither-analyzer
|
solc-select
|
z3-solver
Downloads last day:
0
Downloads last week:
7
Downloads last month:
19