slither/scripts/travis_test_prop.sh

#!/usr/bin/env bash

### Test slither-prop

cd examples/slither-prop || exit 1
slither-prop . --contract ERC20Buggy
if [ ! -f contracts/crytic/TestERC20BuggyTransferable.sol ]; then
    echo "slither-prop failed"
    return 1
fi
Add slither-prop test 5 years ago			`#!/usr/bin/env bash`

linting: Solve shell linting errors 4 years ago			`### Test slither-prop`
Add slither-prop test 5 years ago
linting: Solve shell linting errors 4 years ago			`cd examples/slither-prop \|\| exit 1`
Add slither-prop test 5 years ago			`slither-prop . --contract ERC20Buggy`
			`if [ ! -f contracts/crytic/TestERC20BuggyTransferable.sol ]; then`
			`echo "slither-prop failed"`
			`return 1`
			`fi`