diff --git a/echidna_cleanup.sh b/echidna_cleanup.sh new file mode 100755 index 0000000..35e71ec --- /dev/null +++ b/echidna_cleanup.sh @@ -0,0 +1,5 @@ +#!/bin/sh +rm -rf corpus +rm -f covered*.txt +rm -rf .crytic/ +echo "Echidna artifacts cleaned up." diff --git a/run_echidna_tests.sh b/run_echidna_tests.sh new file mode 100755 index 0000000..96c83de --- /dev/null +++ b/run_echidna_tests.sh @@ -0,0 +1,2 @@ +#!/bin/sh +echidna test/EchidnaTest.t.sol --contract EchidnaTest --config echidna.config.yaml