dencun support (#467)

fuzzland · Apr 15, 2024 · 64af36d · 64af36d
1 parent 6d6629f
commit 64af36d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/evm/concolic/concolic_host.rs b/src/evm/concolic/concolic_host.rs
@@ -1285,6 +1285,10 @@ where
             0x5b => {
                 vec![]
             }
+            // MCOPY
+            0x5e => {
+                concrete_eval!(3, 0)
+            }
             // PUSH
             0x5f..=0x7f => {
                 // push n bytes into stack