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.
34 lines
953 B
34 lines
953 B
#!/usr/bin/env bash
|
|
|
|
### Test printer
|
|
|
|
cd tests/ast-parsing/compile || exit
|
|
|
|
# Do not test the evm printer,as it needs a refactoring
|
|
ALL_PRINTERS="cfg,constructor-calls,contract-summary,data-dependency,echidna,function-id,function-summary,modifiers,call-graph,human-summary,inheritance,inheritance-graph,slithir,slithir-ssa,vars-and-auth,require,variable-order,declaration"
|
|
|
|
# Only test 0.5.17 to limit test time
|
|
for file in *0.5.17-compact.zip; do
|
|
if ! slither "$file" --print "$ALL_PRINTERS" ; then
|
|
echo "Printer failed"
|
|
echo "$file"
|
|
exit 1
|
|
fi
|
|
done
|
|
|
|
# Only test 0.8.12 to limit test time
|
|
for file in *0.8.12-compact.zip; do
|
|
if ! slither "$file" --print "declaration" ; then
|
|
echo "Printer failed"
|
|
echo "$file"
|
|
exit 1
|
|
fi
|
|
done
|
|
|
|
cd ../../.. || exit
|
|
# Needed for evm printer
|
|
pip install evm-cfg-builder
|
|
solc-select use "0.5.1"
|
|
if ! slither examples/scripts/test_evm_api.sol --print evm; then
|
|
echo "EVM printer failed"
|
|
fi
|
|
|