hybrid-echidna MyContract.sol  --test-mode assertion --corpus-dir /tmp/test --contract MyContract