diff --git a/README.md b/README.md index c738067cc..f91016fbe 100644 --- a/README.md +++ b/README.md @@ -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: