Skip to content

Commit

Permalink
Update README.md (#375)
Browse files Browse the repository at this point in the history
  • Loading branch information
chrismaree authored Mar 17, 2020
1 parent 343d510 commit 8940832
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ we can uncover an integer overflow in the [Metacoin Truffle box](https://github.

```
$ cd examples/solidity/truffle/metacoin
$ echidna-test . TEST
$ echidna-test . --contract TEST
...
echidna_convert: failed!💥
Call sequence:
Expand Down

0 comments on commit 8940832

Please sign in to comment.