IllegalOverflow should be similar to a revert instead of a VM error (#1293)

gustavo-grieco · web-flow · commit 9893a09ae9f8 · 2024-07-18T14:00:35.000+02:00
diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs
@@ -54,7 +54,7 @@ classifyError = \case
   StackLimitExceeded   -> RevertE
   StackUnderrun        -> IllegalE
   BadJumpDestination   -> IllegalE
-  IllegalOverflow      -> IllegalE
+  IllegalOverflow      -> RevertE
   _                    -> UnknownE
 
 -- | Extracts the 'Query' if there is one.
