From 9893a09ae9f838c5de8d7fac71886598308a6a7a Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Thu, 18 Jul 2024 14:00:35 +0200
Subject: [PATCH] IllegalOverflow should be similar to a revert instead of a VM
 error (#1293)

---
 lib/Echidna/Exec.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs
index fb04d3580..f76691897 100644
--- 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.