logos-messaging/logos-delivery-rlnv2-contract
1
0
Fork 0
mirror of https://github.com/logos-messaging/logos-delivery-rlnv2-contract.git synced 2026-06-07 13:49:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: run and cleanup scripts for echidna

Browse Source
This commit is contained in:
Roman 2025-10-27 14:17:36 +08:00
parent f735f68b5b
commit d7856103a0
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
echidna_cleanup.sh Executable file
View File

@ -0,0 +1,5 @@
#!/bin/sh
rm -rf corpus
rm -f covered*.txt
rm -rf .crytic/
echo "Echidna artifacts cleaned up."

2
run_echidna_tests.sh Executable file
View File

@ -0,0 +1,2 @@
#!/bin/sh
echidna test/EchidnaTest.t.sol --contract EchidnaTest --config echidna.config.yaml