Skip to content
This repository was archived by the owner on Feb 14, 2025. It is now read-only.

Commit 5dd8177

Browse files
committed
Workaround for a Truffle build bug (#49)
1 parent 03c347a commit 5dd8177

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

examples/BrokenMetaCoin/run_etheno.sh

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,10 @@
1+
# First, remove the Truffle build directory.
2+
# This shouldn't be necessary, but Truffle will often fail with
3+
# confusing error messages if it is upgraded between builds.
4+
# So, we just rebuild everything from scratch each time to ensure
5+
# that it always works.
6+
rm -rf build
7+
18
echo "Running the custom Manticore script ExploitMetaCoinManticoreScript.py"
29
# Set the max depth for Manticore to 2 because this script only needs to
310
# find a sequence of two transactions to exploit the bug

0 commit comments

Comments
 (0)