Fix cases of echidna printer crashing #2727

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

smonicas wants to merge 2 commits into dev from dev-fix-echidna

Collaborator

smonicas commented May 26, 2025

Fix #2717 #2721

smonicas added 2 commits

May 26, 2025 19:25


          Fix crash when casting an address and accessing its members

beb6dd9


          Fix crash when casting a string to byte*

666e61b

rappie commented Aug 23, 2025

Can this be merged? It is currently preventing me from using slither for echidna: #2721 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet