TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

dead link (#1616)

Browse Source
pull/1622/head
shafu.eth 3 years ago committed by GitHub
parent 651a17c647
commit 4ba3c10e39
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      README.md

2
README.md
Unescape View File

@ -48,7 +48,7 @@ Or:
$ myth analyze -a <contract-address> $ myth analyze -a <contract-address>
``` ```
Specify the maximum number of transaction to explore with `-t <number>`. You can also set a timeout with `--execution-timeout <seconds>`. Example ([source code](https://gist.github.com/b-mueller/2b251297ce88aa7628680f50f177a81a#file-killbilly-sol)): Specify the maximum number of transaction to explore with `-t <number>`. You can also set a timeout with `--execution-timeout <seconds>`.
``` ```
> myth a killbilly.sol -t 3 > myth a killbilly.sol -t 3

Write Preview
Loading…
Cancel
Save