slither/scripts/ci_test_flat.sh

mirror of https://github.com/crytic/slither
#!/usr/bin/env bash

### Test slither-prop

cd examples/flat || exit 1

if ! slither-flat b.sol; then
    echo "slither-flat failed"
    exit 1
fi

exit 0
Add slither-flat to the CI 4 years ago			`#!/usr/bin/env bash`

			`### Test slither-prop`

			`cd examples/flat \|\| exit 1`

minor 4 years ago			`if ! slither-flat b.sol; then`
			`echo "slither-flat failed"`
			`exit 1`
Add slither-flat to the CI 4 years ago			`fi`

minor 4 years ago			`exit 0`