From ab4673b5c08afe7afe395414c6ad7bce1e7c60f9 Mon Sep 17 00:00:00 2001 From: Evan Sultanik Date: Tue, 9 Oct 2018 13:48:26 -0400 Subject: [PATCH] Updated with the Dockerhub image --- README.md | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index bbc58f1..30c9a60 100644 --- a/README.md +++ b/README.md @@ -26,7 +26,14 @@ It is named after the Greek goddess [Stheno](https://en.wikipedia.org/wiki/Sthen ## Quickstart -Use Docker to quickly install and try Etheno: +Use our prebuilt Docker container to quickly install and try Etheno: + +``` +docker pull trailofbits/etheno +docker run -it trailofbits/etheno +``` + +Or, build a Docker container from source: ``` # Clone the Etheno repo @@ -43,7 +50,7 @@ etheno@982abdc96791:~$ cd examples/BrokenMetaCoin/ etheno@982abdc96791:~/examples/BrokenMetaCoin$ etheno --truffle --ganache --manticore --manticore-max-depth 2 --manticore-script ExploitMetaCoinManticoreScript.py ``` -Alternatively, install Etheno in a few shell commands: +Alternatively, natively install Etheno in a few shell commands: ``` # Install system dependencies