old: zk proposer & contracts #183
zobrontAnnotations
2 errors and 1 warning
|
slither-analyze
Input required and not supplied: sarif_file
|
|
slither-analyze
Process completed with exit code 1.
|
|
slither-analyze
The process '/usr/bin/git' failed with exit code 128
|