From 35d88019bd760e3afbc6e2c8cd7a9efd8fb2bed8 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Thu, 18 Jul 2019 21:09:58 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 669b86da..4eee32a3 100644 --- a/README.md +++ b/README.md @@ -48,7 +48,7 @@ Or: $ myth analyze -a ``` -Specify the maximum number of transaction to explore with `-t `. You can also set a timeout with `--execution timeout `. Example ([source code](https://gist.github.com/b-mueller/2b251297ce88aa7628680f50f177a81a#file-killbilly-sol)): +Specify the maximum number of transaction to explore with `-t `. You can also set a timeout with `--execution-timeout `. Example ([source code](https://gist.github.com/b-mueller/2b251297ce88aa7628680f50f177a81a#file-killbilly-sol)): ``` ==== Unprotected Selfdestruct ====