Artur Cygan

http://erlang.org/doc/man/ssl.html#ssl_accept-1 "Deprecated in OTP 21, use handshake/[1,2] instead." The problem is that handshake is not present in OTP < 21, I'm not sure how this can be handled, should we...

This should enable M1 support if it was not working already. We are building M1 releases in Echidna which obviously uses hevm and everything works. I hope fix the build...

I'm still on it, I'm struggling to get the CI tests working after all the updates

@d-xo I merged your branch and fixed the build but I don't know why this test fails: ``` Running test_4byte ... FAILURE expected [transfer(address,uint256)] but was [] ``` It first...

The last commit fixes coverage display for non-runtime lines. | Before | After | |--------|-------| |  |  |

@disconnect3d This is something worth implementing after this PR is merged. I would need to look if we gather the number of hits per line.

@0xKarl98 do you have steps to reproduce the issue?

@0xalpharush could you include a minimal example of how to reproduce?

we recently updated hevm and now this error is printed slightly better (from the current master): ``` x(): failed!💥 Call sequence: x() Event sequence: Panic(1), merror Revert Panic(17) AssertionFailed(..): passed!...

I've updated hevm here https://github.com/crytic/echidna/pull/986