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

…1293)
crytic · Jul 18, 2024 · 9893a09 · 9893a09
1 parent f8deef5
commit 9893a09
Showing 1 changed file with 1 addition and 1 deletion.
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.