From d7856103a00d7663be54eedd74b12e8492afe4f6 Mon Sep 17 00:00:00 2001
From: Roman <zajic@zajic.net>
Date: Mon, 27 Oct 2025 14:17:36 +0800
Subject: [PATCH] fix: run and cleanup scripts for echidna

---
 echidna_cleanup.sh   | 5 +++++
 run_echidna_tests.sh | 2 ++
 2 files changed, 7 insertions(+)
 create mode 100755 echidna_cleanup.sh
 create mode 100755 run_echidna_tests.sh

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