mirror of https://github.com/crytic/slither
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
220 B
11 lines
220 B
5 years ago
|
#!/usr/bin/env bash
|
||
|
|
||
|
### Test slither-prop
|
||
|
|
||
|
cd examples/slither-prop
|
||
|
slither-prop . --contract ERC20Buggy
|
||
|
if [ ! -f contracts/crytic/TestERC20BuggyTransferable.sol ]; then
|
||
|
echo "slither-prop failed"
|
||
|
return 1
|
||
|
fi
|