Skip to content
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

Opcode "mcopy" not implemented #1218

Open
0xCheetah opened this issue Mar 17, 2024 · 1 comment
Open

Opcode "mcopy" not implemented #1218

0xCheetah opened this issue Mar 17, 2024 · 1 comment
Labels
hevm Requires changes in hevm

Comments

@0xCheetah
Copy link

Describe the issue:

The "mcopy" opcode in inline assembly reverts and produces an "e" in the corpus coverage report.

Code example to reproduce the issue:

assembly ("memory-safe") {
mcopy(0, 32, 32)
}

Version:

echidna: 2.2.3
slither: 0.10.1

Relevant log output:

"*e" in corpus coverage report.
@arcz arcz added the hevm Requires changes in hevm label Mar 18, 2024
@arcz arcz changed the title [Bug-Candidate]: "mcopy" reverts Opcode "mcopy" not implemented Mar 18, 2024
@arcz
Copy link
Member

arcz commented Mar 18, 2024

Tracked in ethereum/hevm#469.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
hevm Requires changes in hevm
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@arcz @0xCheetah