pirapira/dry-analyzer

Unimplemented opcode `EXTCODECOPY`

Closed this issue · 1 comments

In evm.v the function a_instr_sem misses the opcode EXTCODECOPY.

This is done by now.