Files
slither/scripts/ci_test_find_paths.sh
2026-01-06 18:58:41 +01:00

19 lines
458 B
Bash
Executable File

#!/usr/bin/env bash
set -euo pipefail
### Test slither-find-paths
DIR_TESTS="tests/e2e/printers/possible_paths"
solc-select use "0.5.1"
slither-find-paths "$DIR_TESTS/paths.sol" A.destination > test_possible_paths.txt 2>&1
DIFF=$(diff test_possible_paths.txt "$DIR_TESTS/paths.txt")
if [ "$DIFF" != "" ]
then
echo "slither-find-paths failed"
cat test_possible_paths.txt
cat "$DIR_TESTS/paths.txt"
exit 255
fi
rm test_possible_paths.txt