Fixed typo in verifier.rst

[zarifpour]

When manticore is invoked with --contract_name CONTRACT_NAME there is an error.

manticore: error: unrecognized arguments: --contract_name ERC721Final

The correct flag is --contract.

[CLAassistant]

All committers have signed the CLA.

[sschriner]

I think you are running manticore vs manticore-verifier, --contract_name CONTRACT_NAME is a correct flag for manticore-verifier. What are you trying to use Manticore for?

[zarifpour]

You are right. I am running manticore, I did not understand the distinction.

I was experiencing this issue: #2547, so I was looking through the manticore documentation.

Originally, it seemed it worked the same way as manticore... However, if --contract_name is the correct flag, is the flag --contract correctly used at the end of the documentation?

$manticore-verifier testtoken.sol  --contract TestToken

See: https://github.com/trailofbits/manticore/blob/master/docs/verifier.rst

[sschriner]

Good catch! Can you sign the CLAssistant?