PyPI page
Author:
NioTheFirst
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:
1
Downloads last month:
8
7-day smoothing