Static Analyzer for Solidity
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.
slither/scripts/travis_test.sh

52 lines
987 B

#!/usr/bin/env bash
### Test Detectors
slither tests/uninitialized.sol --disable-solc-warnings
if [ $? -ne 1 ]; then
exit 1
fi
slither tests/backdoor.sol --disable-solc-warnings
if [ $? -ne 1 ]; then
exit 1
fi
slither tests/pragma.0.4.24.sol --disable-solc-warnings
if [ $? -ne 1 ]; then
exit 1
fi
slither tests/old_solc.sol.json --solc-ast
if [ $? -ne 1 ]; then
exit 1
fi
slither tests/reentrancy.sol --disable-solc-warnings
if [ $? -ne 1 ]; then
exit 1
fi
slither tests/uninitialized_storage_pointer.sol --disable-solc-warnings
if [ $? -ne 1 ]; then
exit 1
fi
### Test scripts
python examples/scripts/functions_called.py examples/scripts/functions_called.sol
if [ $? -ne 0 ]; then
exit 1
fi
python examples/scripts/functions_writing.py examples/scripts/functions_writing.sol
if [ $? -ne 0 ]; then
exit 1
fi
python examples/scripts/variable_in_condition.py examples/scripts/variable_in_condition.sol
if [ $? -ne 0 ]; then
exit 1
fi
exit 0