echidna
echidna copied to clipboard
Add support for reaching receive
This PR should a fix for #714, however, it still need some additional code to make sure fallback and receive are not called often, since 99% of the time, they are not useful and will waste time.