This repository has been archived by the owner on May 3, 2024. It is now read-only.
forked from privacy-scaling-explorations/zkevm-circuits
-
Notifications
You must be signed in to change notification settings - Fork 125
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
krzysztofpaliga
committed
Oct 18, 2023
1 parent
52e4cfc
commit 1235cfa
Showing
6 changed files
with
100 additions
and
48 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,41 @@ | ||
#!/bin/bash | ||
|
||
# Command to run cargo fuzz | ||
COMMAND="cargo fuzz run evm -- -rss_limit_mb=9999999999 -max_len=99999999" | ||
|
||
# Initialize CRASH_PATH | ||
CRASH_PATH="" | ||
|
||
while true; do | ||
# Run the cargo fuzz command | ||
echo "Running: $COMMAND" | ||
OUTPUT="$($COMMAND)" | ||
|
||
# Find the crash path and store it in a variable | ||
CRASH_PATH=$(echo "$OUTPUT" | grep -o "cargo fuzz run evm artifacts/evm/crash-[a-zA-Z0-9]\+") | ||
# Check if the output contains "Finished with success" | ||
|
||
if [[ "$OUTPUT" == *"Finished with success"* ]]; then | ||
|
||
# Check if a crash path was found | ||
if [ -n "$CRASH_PATH" ]; then | ||
# Remove the crash file and contents | ||
echo "Deleting: $CRASH_PATH" | ||
rm -rf "$CRASH_PATH" | ||
else | ||
echo "No crash path found." | ||
fi | ||
else | ||
|
||
# No "Finished with success" message found | ||
echo "Execution failed." | ||
if [ -n "$CRASH_PATH" ]; then | ||
# Print the crash path if it exists | ||
echo "Crash path: $CRASH_PATH" | ||
fi | ||
break | ||
fi | ||
|
||
echo "========================================" | ||
done | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters