Skip to content

Commit 8bea597

Browse files
committed
Minor
1 parent eaaf27d commit 8bea597

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

scripts/ci_test_printers.sh

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,5 +17,8 @@ for file in *0.5.17-compact.zip; do
1717
done
1818

1919
cd ../../.. || exit
20-
21-
slither examples/scripts/test_evm_api.sol --print evm
20+
# Needed for evm printer
21+
pip install evm-cfg-builder
22+
solc-select use "0.5.1"
23+
if ! slither examples/scripts/test_evm_api.sol --print evm; then
24+
echo "EVM printer failed"

0 commit comments

Comments
 (0)