From 379cdc643afc6386f3943a01c556425cca6de735 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <gustavo.grieco@trailofbits.com>
Date: Thu, 18 Jul 2024 11:37:46 +0200
Subject: [PATCH] IllegalOverflow should be similar to a revert instead of a VM
 error

---
 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.