Opcode "mcopy" not implemented
0xCheetah opened this issue · comments
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.
Tracked in ethereum/hevm#469.