Files
slither/scripts/ci_test_erc.sh
2023-03-20 23:36:08 -05:00

21 lines
379 B
Bash
Executable File

#!/usr/bin/env bash
### Test slither-check-erc
DIR_TESTS="tests/tools/check-erc"
solc-select use 0.5.0
slither-check-erc "$DIR_TESTS/erc20.sol" ERC20 > test_1.txt 2>&1
DIFF=$(diff test_1.txt "$DIR_TESTS/test_1.txt")
if [ "$DIFF" != "" ]
then
echo "slither-check-erc 1 failed"
cat test_1.txt
echo ""
cat "$DIR_TESTS/test_1.txt"
exit 255
fi
rm test_1.txt